../ Class.hsMerge pull request #1659 from edwinb/partial-eval12 years ago Clause.hsMerge branch 'master' of github.com:idris-lang/Idris-dev12 years ago Data.hsAdd missing case in checkUniqueKind (fixed #1606)12 years ago Instance.hsMore partial evaluation improvements12 years ago Provider.hsSupport type errors in docstrings12 years ago Record.hsSupport type errors in docstrings12 years ago Transform.hsPartial evaluator fixes12 years ago Type.hsRemoval of minor TODOs12 years ago Utils.hsMore partial evaluation improvements12 years ago Value.hsSupport type errors in docstrings12 years ago