../ Core/Abstract matched terms from goal type in with clauses (like 'magic with' in Agda)14 years ago IRTS/make TT aware of Set -> Type14 years ago Idris/Abstract from everything to make 'with' more magic14 years ago Pkg/More platform agnostic now14 years ago RTS/Adding support for Windows MingW3214 years ago Util/Fix Util.System so that it compiles again...14 years ago Main.hsmake TT aware of Set -> Type14 years ago