git.iko.soy/Idris-dev
on a427f21 help sign in
Idris-dev/src/Idris/Elab
11 files
../ AsPat.hsImplemented @-patterns Class.hsMerge pull request #1659 from edwinb/partial-eval Clause.hsImplemented @-patterns Data.hsSupport for inductive-inductive types Instance.hsAdd proper namespace to class instances Provider.hsSupport type errors in docstrings Record.hsSupport type errors in docstrings Transform.hsFix for name clashes when applying transformations Type.hsRemoval of minor TODOs Utils.hsImprovement for 'auto' Value.hsSupport type errors in docstrings