https://github.com/jack994/lambdacalculus_in_sml

https://github.com/jack994/lambdacalculus_in_sml

functional-programming lambda-calculus sml

Last synced: about 8 hours ago
JSON representation

• Host: GitHub
• URL: https://github.com/jack994/lambdacalculus_in_sml
• Owner: jack994
• Created: 2017-11-06T16:09:10.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2017-11-07T17:28:20.000Z (about 7 years ago)
• Last Synced: 2023-02-27T08:53:30.111Z (over 1 year ago)
• Topics: functional-programming, lambda-calculus, sml
• Language: Standard ML
• Size: 11.7 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project