git.iko.soy/Idris-dev
on 8d83f38 help sign in
Idris-dev/test/test019
3 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) test019.lidrAbstract matched terms from goal type in with clauses (like 'magic with' in Agda)