blob: d353b3fcb5a332b7c296f1dbd1e4c487be446239 (
plain) (
blame)
1
2
3
4
5
6
7
8
|
ðĶðĶðïļð§ðïļ wrapper for `++(++0)+(++0)` (2 + 1)
ð§ðĶð§ðïļð§ðïļ wrapper for curried `add ++(++0)` (\x -> 2 + x)
ðŠ―ð§ add
ðĶĒð§ inc
ðĶĒð§ inc
ðĨðĶ zero
ðĶĒð§ inc
ðĨðĶ zero
|
