A small implementation of graded modal dependent type theory. A younger cousin to Granule.
Why do you think that https://github.com/sal55/langs is a good alternative to gerty
A small implementation of graded modal dependent type theory. A younger cousin to Granule.
Why do you think that https://github.com/sal55/langs is a good alternative to gerty