git.iko.soy/Idris-dev
on be22ac6 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.hsChange disambiguation rules back Evaluate.hsEta in conversion, consistent with unification Execute.hsSupport externally defined primitives ProofState.hsAdd 'determining parameters' for classes ProofTerm.hsUse Set for boundNamesIn TT.hsAdd missing clause in showCG Typecheck.hsRemove Buffer/BitVectors from compiler/C rts Unify.hsAnnotate functions as %hint for auto search