From: Chris <chris.barker@nyu.edu>
Date: Wed, 18 Feb 2015 19:54:30 +0000 (-0500)
Subject: moved fixed point for succ to exercises
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=ebbcaf727cfdc7d8f183a2b6af0b77262efb691f;hp=ebbcaf727cfdc7d8f183a2b6af0b77262efb691f

moved fixed point for succ to exercises
---