../ Core/Add "equiv" tactic "equiv t" asserts that the current goal has a type equivalent (by conversion) to t13 years ago IRTS/Merge branch 'restored-itnative-codegen' of https://github.com/Ralith/Idris-dev into StrLenRegressionTest13 years ago Idris/Merge pull request #383 from JanBessai/ITChar13 years ago Pkg/Some unification fixes13 years ago RTS/Adding support for Windows MingW3214 years ago Util/Remove old ifdefs for supporting base<4 since we require base>=413 years ago Main.hsAdd scripts13 years ago