git.iko.soy/Idris-dev
on ee8fce0 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 the new totality test 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