/GMDTT-prototype

The prototype implementation of GMDTT

Graded Modal Dependent Type Theory (GMDTT)

This houses the prototype implementation of GMDTT.