projekty / fp.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
interpreter
[fp.git] / Arithmetic.lc
1 Nula=\f.\x.x
2 Succ=\n.\f.\x.(f ((n f) x))
3 \f.\x.(f x)
4 (\n.\f.\x.(f ((n f) x)) \f.\x.(f x))
Unnamed repository; edit this file 'description' to name the repository.