https://github.com/kbaird/church-numerals

An Elixir module for Church Encoding of numerals
https://github.com/kbaird/church-numerals

church-numerals elixir lambda-calculus

Last synced: about 1 month ago
JSON representation

An Elixir module for Church Encoding of numerals

• Host: GitHub
• URL: https://github.com/kbaird/church-numerals
• Owner: kbaird
• Created: 2018-12-06T05:32:32.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2024-07-29T00:54:38.000Z (4 months ago)
• Last Synced: 2024-07-29T01:56:06.906Z (4 months ago)
• Topics: church-numerals, elixir, lambda-calculus
• Language: Elixir
• Size: 60.5 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project