git.iko.soy/Idris-dev
on 340beed help sign in
Idris-dev/src
6 folders, 1 file
../ Core/Give Pi bindings the proper name when elaborating lambdas Fixes #360 IRTS/Fix compatibility with llvm-general 3.3.2 and tighten version constraints to avoid future breakage Idris/Give Pi bindings the proper name when elaborating lambdas Fixes #360 Pkg/Some unification fixes RTS/Adding support for Windows MingW32 Util/Remove old ifdefs for supporting base<4 since we require base>=4 Main.hsAdd scripts