../ Core/Fix let scope leakage bug13 years ago IRTS/Invert namespace cleanup for better compatibility13 years ago Idris/Much faster coverage checking by ignorng forced arguments No need to generate cases to check for them, because we already know their value is forced by another part of the same constructor!13 years ago Pkg/Some unification fixes13 years ago RTS/Adding support for Windows MingW3214 years ago Util/default case for hostDynamicLibExt.13 years ago .ghciAdded .ghci specifying language extensions.13 years ago Main.hsUpdate usage with --codegen and add a couple of other flags.13 years ago