git.iko.soy/Idris-dev
on ee3dbaa help sign in
history ofsrc/Main.hs
all commits
44d62c7Better if unification substitutes rather than let bindsEdwin Brady 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