git.iko.soy/Idris-dev
on ccd64c7 help sign in
Idris-dev/src
10 files
../ Core.hsSome proof state, some showing of terms CoreParser.hsBeginning of proof shell Evaluate.hsSome proof state, some showing of terms Main.hsSome proof state, some showing of terms ProofShell.hsBeginning of proof shell ProofState.hsSome proof state, some showing of terms ShellParser.hsBeginning of proof shell Test.hsFirst lot of source files and paper Typecheck.hsSome proof state, some showing of terms test.miSome proof state, some showing of terms