projekty / fp.git / blob
? search:


27b52fc88df87ca62f494b1def86536574ea2c38
[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.