https://github.com/v-kolesnikov/untyped_lambda_calculus

Simple untyped λάμδα calculus on Ruby
https://github.com/v-kolesnikov/untyped_lambda_calculus

church-encoding computer-science lambda-calculus

Last synced: about 2 months ago
JSON representation

Simple untyped λάμδα calculus on Ruby

• Host: GitHub
• URL: https://github.com/v-kolesnikov/untyped_lambda_calculus
• Owner: v-kolesnikov
• License: mit
• Created: 2017-03-07T10:07:45.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2017-07-26T08:52:53.000Z (over 7 years ago)
• Last Synced: 2024-10-13T07:07:25.377Z (3 months ago)
• Topics: church-encoding, computer-science, lambda-calculus
• Language: Ruby
• Homepage:
• Size: 13.7 KB
• Stars: 4
• Watchers: 2
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project