git.iko.soy/Idris-dev
on f553076 help sign in
Idris-dev/test/test019
3 files
../ expectedChange Show instance for Nat to show integers runAbstract matched terms from goal type in with clauses (like 'magic with' in Agda) test019.lidrAbstract matched terms from goal type in with clauses (like 'magic with' in Agda)