git.iko.soy/Idris-dev
on 7d42ba2 help sign in
Idris-dev/src/Idris/Elab
11 files
../ AsPat.hsOnly rewrite _ under @! Class.hsInstance docs: instance parameter documentation Clause.hsFix scope error when shadowing Data.hsAdded explicit error messages when eliminator/case function generation fails Instance.hsInstance docs: instance parameter documentation Provider.hsDocumentation for provided postulates Record.hsRevamped record elaboration. Transform.hsNew way of dealing with unmatchable patterns Type.hsFix irrelevance bug Utils.hsExpose equality proofs in with rule Value.hsRemove -Werror from all files