https://github.com/hongfz16/fzlambda

Lambda Expression Evaluation and Type Check Implemented by Haskell
https://github.com/hongfz16/fzlambda

haskell lambda-calculus

Last synced: about 1 month ago
JSON representation

Lambda Expression Evaluation and Type Check Implemented by Haskell

• Host: GitHub
• URL: https://github.com/hongfz16/fzlambda
• Owner: hongfz16
• License: bsd-3-clause
• Created: 2019-05-19T15:18:10.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-07-01T02:43:44.000Z (over 5 years ago)
• Last Synced: 2023-03-05T15:26:02.578Z (almost 2 years ago)
• Topics: haskell, lambda-calculus
• Language: Haskell
• Size: 514 KB
• Stars: 2
• Watchers: 0
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project