git.iko.soy/Idris-dev
on a2fa0fa help sign in
Idris-dev/src
5 folders, 2 files
../ Core/Merge pull request #564 from LeifW/golf IRTS/Better display of metavariable types in :t Idris/cleanup whitespaces Pkg/Wrap Idris in an ErrorT Util/Java RTS Version bump to include isNull, Maven POM gets installed correctly .ghciAdded .ghci specifying language extensions. Main.hsAdd --client option