progfun init
progress on proving the equivalence between to defintions of similarity between two relations
asgmnt example and recfun
Merge remote-tracking branch 'origin/progfun'
Merge branch 'master' into imp
finished homework for week 2
imp cont
a small step on proving ceval_deterministic
Merge branch 'imp'
Merge branch 'progfun'
ceval_deterministic proved!
finish imp
before working on week3 assignment
creepy codes, please ignore them
Merge branch 'progfun'
update README.md for progfun
Merge branch 'progfun'
finished programming assignment week 2