https://github.com/lightandlight/qtt

Quantitative Type Theory implementation
https://github.com/lightandlight/qtt

Last synced: 9 months ago
JSON representation

Quantitative Type Theory implementation

• Host: GitHub
• URL: https://github.com/lightandlight/qtt
• Owner: LightAndLight
• License: bsd-3-clause
• Created: 2019-02-04T22:18:43.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2021-06-02T12:01:05.000Z (about 5 years ago)
• Last Synced: 2025-04-02T14:53:51.402Z (over 1 year ago)
• Language: Haskell
• Size: 113 KB
• Stars: 54
• Watchers: 5
• Forks: 2
• Open Issues: 0

Awesome Lists containing this project