git.iko.soy/Idris-dev
on b36dfcd help sign in
Idris-dev/src
5 folders, 2 files
../ Core/Fix regression with implicits, add a test IRTS/Change from shebangs with absolute references to using /usr/bin/env Idris/Fix integer literals at REPL Pkg/Whitespace cleanup. Util/Stop CPP from emitting useless warnings .ghciAdded .ghci specifying language extensions. Main.hsAdds the ability to keep around the generated maven project