git.iko.soy/Idris-dev
on 3e47b49 help sign in
Idris-dev/src/Idris/Core
9 files
../ CaseTree.hsAdd a Cabal library Constraints.hsAdd a Cabal library Elaborate.hsDon't unify explicit lambda types Evaluate.hsMerge branch 'master' into cabal-library Execute.hsMerge branch 'cabal-library' of https://github.com/puffnfresh/Idris-dev into puffnfresh-cabal-library ProofState.hsFix another INTERNAL ERROR TT.hsCatch import errors in the right place Typecheck.hsAdd a Cabal library Unify.hsMerge branch 'cabal-library' of https://github.com/puffnfresh/Idris-dev into puffnfresh-cabal-library