Socket
Book a DemoInstallSign in
Socket

church-wars-es6

Package Overview
Dependencies
Maintainers
1
Versions
6
Alerts
File Explorer

Advanced tools

Socket logo

Install Socket

Detect and block malicious and high-risk dependencies

Install

church-wars-es6

Church Wars - ES6

1.0.5
latest
Source
npmnpm
Version published
Weekly downloads
7
600%
Maintainers
1
Weekly downloads
 
Created
Source

Church Wars - ES6

npm install
Travis Build Status CircleCI Build Status Build Status CircleCI Dependencies Status Known Vulnerabilities Downloads License

Implementation of Church numerals in ES6 JavaScript

Implemented functions:

  • suc = λa.λb.λc.b(a b c)
  • add = λa.λb.λc.λd.a c (b c d)
  • mul = λa.λb.λc.a (b c)
  • exp = λa.λb.b a
  • pre = λa.λb.λc.a (λd.λe.e (d b)) (λf.c) (λg.g)
  • sub = λa.λb.b pre a

Conversion functions:

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

Implementation:

Tests:

See also:

Issues

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

Author

Rafał Pocztarski
Follow on GitHub Follow on Twitter
Follow on Stack Exchange

License

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

FAQs

Package last updated on 01 Nov 2017

Did you know?

Socket

Socket for GitHub automatically highlights issues in each pull request and monitors the health of all your open source dependencies. Discover the contents of your packages and block harmful activity before you install or update your dependencies.

Install

Related posts

SocketSocket SOC 2 Logo

Product

About

Packages

Stay in touch

Get open source security insights delivered straight into your inbox.

  • Terms
  • Privacy
  • Security

Made with ⚡️ by Socket Inc

U.S. Patent No. 12,346,443 & 12,314,394. Other pending.