From: Jim Date: Fri, 20 Feb 2015 13:17:13 +0000 (-0500) Subject: push (old version of) q&a on fixed points X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=89121328344917225949cb675a6706cbcd0f83d9;hp=89121328344917225949cb675a6706cbcd0f83d9;p=lambda.git push (old version of) q&a on fixed points ---