jingus/lamb
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
lamb/test.lm

1 line
56 B
Text
Raw Permalink Blame History

(λn. n (λx. λa. λb. b) (λa. λb. a)) (λf. λx. x)
Reference in a new issue View git blame Copy permalink