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