git.iko.soy/Idris-dev
on ef36111 help sign in
Idris-dev/src/Idris/Core
13 files
../ Binary.hsSend serialized versions of TT terms in pprint CaseTree.hsEnsure erasure happens under 'force' Constraints.hsStrictness annotations DeepSeq.hsAdd a special name for instance constructors. Elaborate.hsLift out proof term into a separate module Evaluate.hsBetter treatment of unbound implicits Execute.hsMake executor emulate putchar ProofState.hsLift out proof term into a separate module ProofTerm.hsLift out proof term into a separate module TC.hsFuture-proof the TC' monad TT.hsAdd tactics "skip" and "fail" Typecheck.hsConversion checking tweak Unify.hsUnification fix