languagewars-churchnumerals-js v1.0.8

Language Wars - Church numerals - legacy JavaScript

Implementation of Church numerals in legacy JavaScript

Implemented functions:

1. suc = λa.λb.λc.b(a b c)
2. add = λa.λb.λc.λd.a c (b c d)
3. mul = λa.λb.λc.a (b c)
4. exp = λa.λb.b a
5. pre = λa.λb.λc.a (λd.λe.e (d b)) (λf.c) (λg.g)
6. sub = λa.λb.b pre a

Conversion functions:

• ntc - number to Church encoding conversion
• ctn - Church encoding to number conversion

Implementation:

• churchnumerals.js

Tests:

• tests.js

Implementations in other languages:

• Language Wars - Church numerals

All topics:

• Language Wars

Issues

For any bug reports or feature requests please post an issue on GitHub.

Author

Rafał Pocztarski

License

MIT License (Expat). See LICENSE.md for details.