https://github.com/clayrat/blott-experiments

Experiments with dependent modal types
https://github.com/clayrat/blott-experiments

Last synced: 1 day ago
JSON representation

Experiments with dependent modal types

• Host: GitHub
• URL: https://github.com/clayrat/blott-experiments
• Owner: clayrat
• Created: 2019-06-19T23:08:50.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-09-13T11:11:02.000Z (about 5 years ago)
• Last Synced: 2024-10-11T21:51:48.532Z (27 days ago)
• Language: Idris
• Size: 12.7 KB
• Stars: 5
• Watchers: 4
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project