New Idris Hackers Web Page Nov 21st, 2013 Welcome to the completely unfinished community Idris site. Version 2.0