https://github.com/3tty0n/church-scala

An implementation of church encoding with Scala.
https://github.com/3tty0n/church-scala

church-encoding lambda-calculus scala

Last synced: over 1 year ago
JSON representation

An implementation of church encoding with Scala.

• Host: GitHub
• URL: https://github.com/3tty0n/church-scala
• Owner: 3tty0n
• Created: 2017-03-17T15:19:47.000Z (about 9 years ago)
• Default Branch: master
• Last Pushed: 2017-03-17T19:11:03.000Z (about 9 years ago)
• Last Synced: 2025-01-08T02:22:45.068Z (over 1 year ago)
• Topics: church-encoding, lambda-calculus, scala
• Language: Scala
• Homepage:
• Size: 4.88 KB
• Stars: 4
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# church-scala

An implementation of church encoding by Scala.