https://github.com/ziman/itt

Tiny dependent calculus with inference of irrelevance and erasure
https://github.com/ziman/itt

Last synced: about 1 month ago
JSON representation

Tiny dependent calculus with inference of irrelevance and erasure

• Host: GitHub
• URL: https://github.com/ziman/itt
• Owner: ziman
• License: bsd-3-clause
• Created: 2019-02-08T21:47:02.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2020-01-17T20:14:22.000Z (almost 5 years ago)
• Last Synced: 2023-03-11T04:28:46.079Z (over 1 year ago)
• Language: Haskell
• Homepage:
• Size: 49.8 KB
• Stars: 15
• Watchers: 4
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project