git.iko.soy/Idris-dev
on dee61df help sign in
Idris-dev/test/test019
4 files
../ expectedAbstract matched terms from goal type in with clauses (like 'magic with' in Agda) runAbstract matched terms from goal type in with clauses (like 'magic with' in Agda) run_javaBackend support for Java test019.lidrAbstract matched terms from goal type in with clauses (like 'magic with' in Agda)