We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9af6fc2 commit 20f8aa9Copy full SHA for 20f8aa9
ch1/ex1.txt
@@ -2,6 +2,6 @@ NOTE: To get λ type SHIFT + CTRL + u followed by 03bb.
2
3
1. λxy.xz == λmn.mz (b)
4
5
-2. λxy.xxy == λa(λb).aab (c)
+2. λxy.xxy == λa.(λb.aab) (c)
6
7
3. λxyz.zx == λtos.st (b)
0 commit comments