git.iko.soy/Idris-dev
on cc0dc09 help sign in
history ofsrc/Main.hs
all commits
cc0dc09Added elaborate; a language for composing primitive tactics.Edwin Brady 867f092Changed evaluatorEdwin Brady 6923ac1Started theorem prover and tacticsEdwin Brady 205fcefSome proof state, some showing of termsEdwin Brady dc0c198First lot of source files and paperEdwin Brady