git.iko.soy/Idris-dev
on f90e2d7 help sign in
Idris-dev/src
5 folders, 2 files
../ Core/Another minor efficiency gain in elaborator IRTS/javascript: use optimizer for tailcalls Idris/Allow records in mutual blocks Pkg/Make --install respect TARGET for .ibc AND objects Util/Make --install respect TARGET for .ibc AND objects .ghciAdded .ghci specifying language extensions. Main.hsFixing a typo in the --help usage screen.