git.iko.soy/Idris-dev
on d615021 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.hsChanged evaluator ShellParser.hsMinor parser changes Test.hsStarted theorem prover and tactics Typecheck.hsPurge HTT, fix evaluator and contexts test.miChanged evaluator