Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Examples of expressions:
<blockquote><code>
Examples of expressions:
<blockquote><code>
-x<p>
-(y x)<p>
-(x x)<p>
-(\x y)<p>
-(\x x)<p>
-(\x (\y x))<p>
-(x (\x x))<p>
-((\x (x x)) (\x (x x)))<p>
+x
+(y x)
+(x x)
+(\x y)
+(\x x)
+(\x (\y x))
+(x (\x x))
+((\x (x x)) (\x (x x)))
</code></blockquote>
The lambda calculus has an associated proof theory. For now, we can regard the
</code></blockquote>
The lambda calculus has an associated proof theory. For now, we can regard the