git.iko.soy/Idris-dev
on 8fe8bb9 help sign in
Idris-dev/src/Idris/Elab
11 files
../ AsPat.hsMake pattern matching consistent in lambda/let Class.hsAllow class constraints to be named Clause.hsSearch in current elaboration stack for instances Data.hsSupport for inductive-inductive types Instance.hsAllow class constraints to be named Provider.hsSupport type errors in docstrings Record.hsSupport type errors in docstrings Transform.hsNew way of dealing with unmatchable patterns Type.hsNew way of dealing with unmatchable patterns Utils.hsCheck for duplicate names in Can't Convert Value.hsNew way of dealing with unmatchable patterns