git.iko.soy/Idris-dev
on 12f9368 help sign in
Idris-dev/src
12 files
../ Core.hsapply and prepare_apply elaborations CoreParser.hsUnification, and unify tactic Elaborate.hsapply and prepare_apply elaborations 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.hsapply and prepare_apply elaborations ShellParser.hsapply and prepare_apply elaborations Test.hsStarted theorem prover and tactics Typecheck.hsSimple parser for data types Unify.hsUnification, and unify tactic test.miSimple parser for data types