git.iko.soy/Idris-dev
on ef906d3 help sign in
Idris-dev/src/Idris/Core
12 files
../ Binary.hsPrimitive type for world state CaseTree.hsAdd scoped implicit argument to Pi Constraints.hsCompletely replace ErrorT with ExceptT DeepSeq.hsPrimitive type for world state Elaborate.hsBegin implementation of reflected elab monad Evaluate.hsFix evaluator problem Execute.hsIO primitives tweak to support JS ProofState.hs"claim" and "unfocus" tactics ProofTerm.hs"claim" and "unfocus" tactics TT.hsScoped implicits fix Typecheck.hsPrimitive type for world state Unify.hsScoped implicits fix