projekty / fp.git / blob
? search:


115a869bd16c411ea260470d30c270284d42fccf
[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.