git.iko.soy/Idris-dev
on fbd6471 help sign in
Idris-dev/src
6 folders, 1 file
../ Core/Add "equiv" tactic "equiv t" asserts that the current goal has a type equivalent (by conversion) to t IRTS/SSA style stack management and FChar is finally gone. Idris/Merge branch 'master' of https://github.com/edwinb/Idris-dev into JavaRepairs 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