edwinb/Idris2

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

edwinb/Idris2

By
Encoding="UTF-8"?>

A dependently typed Programming Language, a successor to Idris 264



VIEW MORE

Git hunter - best free github source code