git.iko.soy/Idris-dev
on 56309a5 help sign in
Idris-dev/src
10 files
../ Core.hsTactics can now complete basic proofs CoreParser.hsMinor parser changes Evaluate.hsSome proof state, some showing of terms Main.hsStarted theorem prover and tactics ProofShell.hsTactics can now complete basic proofs ProofState.hsMinor parser changes ShellParser.hsMinor parser changes Test.hsStarted theorem prover and tactics Typecheck.hsTactics can now complete basic proofs test.miSome proof state, some showing of terms