https://github.com/lightandlight/como
Contextual Modal Type Theory, formalization and implementation
https://github.com/lightandlight/como
Last synced: 6 months ago
JSON representation
Contextual Modal Type Theory, formalization and implementation
- Host: GitHub
- URL: https://github.com/lightandlight/como
- Owner: LightAndLight
- Created: 2019-05-20T06:53:02.000Z (about 7 years ago)
- Default Branch: master
- Last Pushed: 2019-05-25T11:22:16.000Z (about 7 years ago)
- Last Synced: 2023-02-23T21:32:32.157Z (over 3 years ago)
- Language: Agda
- Homepage:
- Size: 27.3 KB
- Stars: 4
- Watchers: 2
- Forks: 0
- Open Issues: 0