../ Core/Better unification errors when name is out of scope In particular, a unification problem which cannot be solved because it uses a variable not in scope where the metavariable is bound. Fixes #34213 years ago IRTS/Remove overlapped case in CodegenC13 years ago Idris/Add missing case for PEq to expandDo in DSL.hs13 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