https://github.com/lightandlight/closure

Closure calculus implementation
https://github.com/lightandlight/closure

Last synced: over 1 year ago
JSON representation

Closure calculus implementation

• Host: GitHub
• URL: https://github.com/lightandlight/closure
• Owner: LightAndLight
• License: bsd-3-clause
• Created: 2019-04-17T05:57:18.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2019-06-25T22:07:12.000Z (about 7 years ago)
• Last Synced: 2023-02-23T21:32:32.019Z (over 3 years ago)
• Language: Haskell
• Size: 24.4 KB
• Stars: 11
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project