git.iko.soy/Idris-dev
on cbc60eb help sign in
Idris-dev/src
11 files
../ Core.hsUnification, and unify tactic CoreParser.hsUnification, and unify tactic Evaluate.hsUnification, and unify tactic Main.hsChanged evaluator ProofShell.hsNo mucking about with de Bruijn indices in proof construction ProofState.hsUnification, and unify tactic ShellParser.hsUnification, and unify tactic Test.hsStarted theorem prover and tactics Typecheck.hsSimple parser for data types Unify.hsUnification, and unify tactic test.miSimple parser for data types