Huge News!Announcing our $40M Series B led by Abstract Ventures.Learn More
Socket
Sign inDemoInstall
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
  • npm
  • Socket score

Version published
Weekly downloads
1
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:

  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:

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

  • Package Alerts
  • Integrations
  • Docs
  • Pricing
  • FAQ
  • Roadmap
  • Changelog

Packages

npm

Stay in touch

Get open source security insights delivered straight into your inbox.


  • Terms
  • Privacy
  • Security

Made with ⚡️ by Socket Inc