git.iko.soy/Idris-dev
on 867f092 help sign in
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