projekty / fp.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
multiple args in lambda
[fp.git] / Logic.lc
1 True=\x.\y.x
2 False=\x.\y.y
3 And=\a.\b.((a b) False)
4 If=\x.x
5 PrintBool=\x.(((If x) TRUE) FALSE)
Unnamed repository; edit this file 'description' to name the repository.