Idris Hackers

RSS

Blog
Idris Haddock
Idris Dev
Archives
Colophon

Idris 0.9.10

Nov 29th, 2013

\O/ Idris 0.9.10 is out. Haddock files have been updated on this site.

Posted by The Idris Community Nov 29th, 2013

Tweet

« New Idris Hackers Web Page

GitHub Repos

Status updating...

@idris-hackers on GitHub

Copyright © 2013 - The Idris Community - Powered by Octopress