church-wars-es6
Advanced tools
Comparing version 1.0.1 to 1.0.2
{ | ||
"name": "church-wars-es6", | ||
"version": "1.0.1", | ||
"version": "1.0.2", | ||
"description": "Church Wars - ES6", | ||
@@ -5,0 +5,0 @@ "main": "church.js", |
@@ -16,2 +16,20 @@ Church Wars - ES6 | ||
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 | ||
See also: | ||
* [Church Wars - JS (pre-ES6 version)](https://github.com/rsp/church-wars-js) | ||
Issues | ||
@@ -18,0 +36,0 @@ ------ |
License Policy Violation
LicenseThis package is not allowed per your license policy. Review the package's license to ensure compliance.
Found 1 instance in 1 package
License Policy Violation
LicenseThis package is not allowed per your license policy. Review the package's license to ensure compliance.
Found 1 instance in 1 package
9219
1
78