git.iko.soy/Idris-dev
on df4cd71 help sign in
Idris-dev/src/Idris/Elab
10 files
../ Class.hsMerge pull request #1659 from edwinb/partial-eval Clause.hsMore partial evaluation improvements Data.hsSupport type errors in docstrings Instance.hsMore partial evaluation improvements Provider.hsSupport type errors in docstrings Record.hsSupport type errors in docstrings Transform.hsPartial evaluator fixes Type.hsRemoval of minor TODOs Utils.hsMore partial evaluation improvements Value.hsSupport type errors in docstrings