projekty / fp.git / blob
? search:


8193a3455a90f097c0bc95fbdcb99bf2eb334686
[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.