WhatisRT / meta-cedille

Minimalistic dependent type theory with syntactic metaprogramming
57Updated 8 months ago

Alternatives and similar repositories for meta-cedille:

Users that are interested in meta-cedille are comparing it to the libraries listed below