https://github.com/bollu/pisigma
A reference copy of PiSigma: dependent types with without the sugar
https://github.com/bollu/pisigma
Last synced: 3 months ago
JSON representation
A reference copy of PiSigma: dependent types with without the sugar
- Host: GitHub
- URL: https://github.com/bollu/pisigma
- Owner: bollu
- License: other
- Created: 2021-05-25T13:08:12.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2021-05-25T13:08:45.000Z (over 4 years ago)
- Last Synced: 2025-05-14T04:19:04.142Z (5 months ago)
- Language: Haskell
- Size: 41 KB
- Stars: 3
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- License: LICENSE