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