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