git.iko.soy/Idris-dev
on 3dfa841 help sign in
Idris-dev/src/Idris/Core
10 files
../ CaseTree.hsUse Data.Text for variable names Constraints.hsAdd a Cabal library DeepSeq.hsMinor memory usage improvements Elaborate.hsUse Data.Text for variable names Evaluate.hsUse Data.Text for variable names Execute.hsFix logic in Executor ProofState.hsUse Data.Text for variable names TT.hsUse Data.Text for variable names Typecheck.hsUse Data.Text for variable names Unify.hsUse Data.Text for variable names