git.iko.soy/Idris-dev
on 546e9f5 help sign in
Idris-dev/src
12 files
../ Core.hsUnification, and unify tactic CoreParser.hsUnification, and unify tactic Elaborate.hsA gadget or two Evaluate.hsUnification, and unify tactic Main.hsAdded elaborate; a language for composing primitive tactics. ProofShell.hsmake Elab a state monad for ease of EDSL programming ProofState.hsA gadget or two ShellParser.hsmake Elab a state monad for ease of EDSL programming Test.hsStarted theorem prover and tactics Typecheck.hsSimple parser for data types Unify.hsUnification, and unify tactic test.miSimple parser for data types