\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