\O/
Idris 0.9.10 is out.
Haddock files have been updated on this site.
New Idris Hackers Web Page
Welcome to the completely unfinished community Idris site. Version 2.0
\O/
Idris 0.9.10 is out.
Haddock files have been updated on this site.
Welcome to the completely unfinished community Idris site. Version 2.0