granule-project/gerty
A small implementation of graded modal dependent type theory. A younger cousin to Granule.
HaskellNOASSERTION
Issues
- 1
6 out of 68 tests failed
#1 opened by sofia-snow - 1
Holes are checked but not filled
#2 opened by sofia-snow
A small implementation of graded modal dependent type theory. A younger cousin to Granule.
HaskellNOASSERTION