edwinb/Idris2

Handpicked best gits and free source code on github daily updated (almost)

edwinb/Idris2

By
A dependently typed programming language, a successor to Idris 264

VIEW MORE

Git hunter - best free github source code