git.iko.soy/Idris-dev
on 60dbc48 help sign in
Idris-dev/src
6 folders, 1 file
../ Core/Make sure names are not defined more than once Fixes issue #124 IRTS/make TT aware of Set -> Type Idris/Add %instance for explicit access to resolveTC tactic Pkg/More platform agnostic now RTS/Adding support for Windows MingW32 Util/Fix Util.System so that it compiles again... Main.hsmake TT aware of Set -> Type