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: 8 days 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 (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2017-03-17T19:11:03.000Z (almost 8 years ago)
• Last Synced: 2024-11-10T17:50:41.900Z (2 months 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.