Church Wars - JS

Implementation of Church numerals in original 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:

• church.js

Tests:

• tests.js

See also:

• Church Wars - ES6
• Church Wars - Scheme

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.