stefan-hoeck / idris2-primLinks

Axioms and Propositions for Primitives in Idris2
11Updated last year

Alternatives and similar repositories for idris2-prim

Users that are interested in idris2-prim are comparing it to the libraries listed below

Sorting: