A small implementation of graded modal dependent type theory. A younger cousin to Granule.
Why do you think that https://github.com/frank-lang/frank 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/frank-lang/frank is a good alternative to gerty