../ 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/javascript: assign HOFs properly13 years ago Idris/Add primitive type names to name completion13 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.hsdocument ideslave option13 years ago