git.iko.soy/Idris-dev
on 07f3b19 help sign in
Idris-dev/src
12 files
../ Core.hsapply and prepare_apply elaborations CoreParser.hsUnification, and unify tactic Elaborate.hsAdd patvar tactic; fix apply to deal with names properly 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.hsAdd patvar tactic; fix apply to deal with names properly ShellParser.hsAdd patvar tactic; fix apply to deal with names properly Test.hsStarted theorem prover and tactics Typecheck.hsSimple parser for data types Unify.hsUnification, and unify tactic test.miSimple parser for data types