/gerty

A small implementation of graded modal dependent type theory. A younger cousin to Granule.

Primary LanguageHaskellOtherNOASSERTION

Issues