git.iko.soy/Idris-dev
on cbbdb3e 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.hsRemove dead code 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