From: Chris <chris.barker@nyu.edu>
Date: Tue, 17 Feb 2015 23:23:34 +0000 (-0500)
Subject: the succ fixed point as arithmetic infinity
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=c755fb35412150c91b5dc7ec2efdc2a28aa6cac3;hp=c755fb35412150c91b5dc7ec2efdc2a28aa6cac3;p=lambda.git

the succ fixed point as arithmetic infinity
---