../ Core/Add "equiv" tactic "equiv t" asserts that the current goal has a type equivalent (by conversion) to t13 years ago IRTS/Remove Java RTS build in favor of the version hosted on Maven Central13 years ago Idris/Report success or failure in IDESlave mode while loading a file13 years ago Pkg/Some unification fixes13 years ago RTS/Adding support for Windows MingW3214 years ago Util/Fail idiomatically13 years ago Main.hsUpdate usage with --codegen and add a couple of other flags.13 years ago