ziman / itt-idrisLinks

ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2
23Updated 5 months ago

Alternatives and similar repositories for itt-idris

Users that are interested in itt-idris are comparing it to the libraries listed below

Sorting: