git.iko.soy/Idris-dev
on 1dea97b help sign in
Idris-dev/src/Idris/Elab
10 files
../ Class.hsMerge pull request #1659 from edwinb/partial-eval Clause.hsMerge pull request #1659 from edwinb/partial-eval Data.hsSupport type errors in docstrings Instance.hsFix for pattern vars in transforms Provider.hsSupport type errors in docstrings Record.hsSupport type errors in docstrings Transform.hsPartial evaluator fixes Type.hsRemoval of minor TODOs Utils.hsSave terms in docstrings Value.hsSupport type errors in docstrings