git.iko.soy/Idris-dev
on c201192 help sign in
Idris-dev/src/Idris/Core
12 files
../ Binary.hsSend serialized versions of TT terms in pprint CaseTree.hsBring erasure info to the case tree builder. Constraints.hsStrictness annotations DeepSeq.hsAdd a special name for instance constructors. Elaborate.hsElaborate quasiquote patterns to something useful Evaluate.hsBring erasure info to the case tree builder. Execute.hsMake executor emulate putchar ProofState.hsMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetactic TC.hsFuture-proof the TC' monad TT.hsMaintain pretty-printer bound vars Typecheck.hsConversion checking tweak Unify.hsNew matching rule for solving simple functions