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