git.iko.soy/Idris-dev
on 5536314 help sign in
Idris-dev/src/Idris/Core
12 files
../ Binary.hsRemove no longer used primitives from TT CaseTree.hsRemove Buffer/BitVectors from compiler/C rts Constraints.hsCache constraint set in solver state DeepSeq.hsRemove no longer used primitives from TT Elaborate.hsMinor change to disambiguation rules Evaluate.hsEta in conversion, consistent with unification Execute.hsSupport externally defined primitives ProofState.hsAdd 'determining parameters' for classes ProofTerm.hsPropagate unification solutions into types on 'P' TT.hsRemove no longer used primitives from TT Typecheck.hsRemove Buffer/BitVectors from compiler/C rts Unify.hsAnnotate functions as %hint for auto search