https://github.com/jonashaag/lambda

Lambda calculus / type inferencer experiments
https://github.com/jonashaag/lambda

Last synced: 24 days ago
JSON representation

Lambda calculus / type inferencer experiments

• Host: GitHub
• URL: https://github.com/jonashaag/lambda
• Owner: jonashaag
• Created: 2014-04-06T20:35:36.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2014-04-09T00:24:31.000Z (over 10 years ago)
• Last Synced: 2023-03-10T22:23:38.983Z (over 1 year ago)
• Language: Haskell
• Size: 121 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project