git.iko.soy/Idris-dev
on 6923ac1 help sign in
Idris-dev/src
10 files
../ Core.hsStarted theorem prover and tactics CoreParser.hsBeginning of proof shell Evaluate.hsSome proof state, some showing of terms Main.hsStarted theorem prover and tactics ProofShell.hsStarted theorem prover and tactics ProofState.hsStarted theorem prover and tactics ShellParser.hsStarted theorem prover and tactics Test.hsStarted theorem prover and tactics Typecheck.hsStarted theorem prover and tactics test.miSome proof state, some showing of terms