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