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