../ Core/Change default Num typeclass to integer Fixes #39113 years ago IRTS/APPLY needs a catch all case for type constructors Normally, they get erased, but in case they haven't at compile time this ensures they are at run-time. It's safe just to return an erased term since it can't be inspected. Fixes #416 (This may mean somethi…13 years ago Idris/Special case for displaying Type : Type 1 ...because people get the wrong impression about universes otherwise!13 years ago Pkg/Some unification fixes13 years ago RTS/Adding support for Windows MingW3214 years ago Util/Fail idiomatically13 years ago Main.hsUpdate usage with --codegen and add a couple of other flags.13 years ago