git.iko.soy/Idris-dev
on 4c68b68 help sign in
Idris-dev/src
10 files
../ Core.hsPurge HTT, fix evaluator and contexts CoreParser.hsChanged evaluator Evaluate.hsPurge HTT, fix evaluator and contexts Main.hsChanged evaluator ProofShell.hsChanged evaluator ProofState.hsEvalIn and CheckIn tactics ShellParser.hsEvalIn and CheckIn tactics Test.hsStarted theorem prover and tactics Typecheck.hsPurge HTT, fix evaluator and contexts test.miChanged evaluator