git.iko.soy/Idris-dev
on 17de459 help sign in
Idris-dev/src
5 folders, 2 files
../ Core/Disambiguate when printing totality information. IRTS/Add floating point primitives to LLVM backend Idris/Merge pull request #632 from david-christiansen/issue/592 Pkg/Whitespace cleanup. Util/Support for FreeBSD .ghciAdded .ghci specifying language extensions. Main.hsAdds the ability to keep around the generated maven project