../ Core/Check that explicitly given implicit args unify with inferred versions Also exposed a unification bug which unified things which shouldn't be: f x = f y does not imply x = y unless f is injective, and this was not properly checked.13 years ago IRTS/Revert "Merge pull request #294 from bitlisp/unified-int-primitives"13 years ago Idris/cleanups, rename List to SexpList to disambiguate13 years ago Pkg/squash potential space leaks by using strict foldl14 years ago RTS/Adding support for Windows MingW3214 years ago Util/Add the RTLD_GLOBAL option to dlopen13 years ago Main.hsRemove dynamically loaded RTS due to 32/64-bit issues on OS X14 years ago