git.iko.soy/Idris-dev
on e24baaa help sign in
Idris-dev/src
6 folders, 1 file
../ 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. IRTS/Revert "Merge pull request #294 from bitlisp/unified-int-primitives" Idris/cleanups, rename List to SexpList to disambiguate Pkg/squash potential space leaks by using strict foldl RTS/Adding support for Windows MingW32 Util/Add the RTLD_GLOBAL option to dlopen Main.hsdocument ideslave option