WhatisRT / meta-cedilleLinks

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

Alternatives and similar repositories for meta-cedille

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

Sorting: