git.iko.soy/Idris-dev
on 9c6ea4a help sign in
9c6ea4aFixing evaluator bugsEdwin Brady 4c68b68EvalIn and CheckIn tacticsEdwin Brady d615021Purge HTT, fix evaluator and contextsEdwin Brady 867f092Changed evaluatorEdwin Brady 56309a5Minor parser changesEdwin Brady bb6bba2Tactics can now complete basic proofsEdwin Brady 6923ac1Started theorem prover and tacticsEdwin Brady ccd64c7Beginning of proof shellEdwin Brady 205fcefSome proof state, some showing of termsEdwin Brady f35b3f0Fix LICENSEEdwin Brady dc0c198First lot of source files and paperEdwin Brady 6aac1a9First commitEdwin Brady