../ Core/Another minor efficiency gain in elaborator13 years ago IRTS/javascript: use optimizer for tailcalls13 years ago Idris/Split Parser.hs into several files13 years ago Pkg/Make --install respect TARGET for .ibc AND objects13 years ago Util/Make --install respect TARGET for .ibc AND objects13 years ago .ghciAdded .ghci specifying language extensions.13 years ago Main.hsFixing a typo in the --help usage screen.13 years ago