git.iko.soy/Idris-dev
on cc0dc09 help sign in
Idris-dev/src
12 files
../ Core.hsUnification, and unify tactic CoreParser.hsUnification, and unify tactic Elaborate.hsAdded elaborate; a language for composing primitive tactics. Evaluate.hsUnification, and unify tactic Main.hsAdded elaborate; a language for composing primitive tactics. ProofShell.hsAdded elaborate; a language for composing primitive tactics. ProofState.hsAdded elaborate; a language for composing primitive tactics. ShellParser.hsAdded elaborate; a language for composing primitive tactics. Test.hsStarted theorem prover and tactics Typecheck.hsSimple parser for data types Unify.hsUnification, and unify tactic test.miSimple parser for data types