https://github.com/kseo/systemf

An implementation of System F in Haskell
https://github.com/kseo/systemf

Last synced: 27 days ago
JSON representation

An implementation of System F in Haskell

• Host: GitHub
• URL: https://github.com/kseo/systemf
• Owner: kseo
• License: bsd-3-clause
• Created: 2016-12-08T12:46:32.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2016-12-24T15:57:56.000Z (almost 8 years ago)
• Last Synced: 2023-03-22T16:33:10.185Z (over 1 year ago)
• Language: Haskell
• Size: 10.7 KB
• Stars: 5
• Watchers: 2
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project