git.iko.soy/Idris-dev
on d615021 help sign in
history ofsrc/Main.hs
all commits
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