git.iko.soy/Idris-dev
on e8ae2f4 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)