CHANGELOG
LICENSE
Main.lhs
Setup.lhs
idris.cabal
Idris
dist
lib