start work on hw1
start work on hw1
asdasd
adding hw1
adding hw1
grumble fuss
Merge branch 'master' of github.com:UCSD-PL/algorithmic-software-verification
tweaking README
aasa
FIX url for language-ecmascript repo
adding due date.
ugh
Merge branch 'master' of github.com:UCSD-PL/algorithmic-software-verification
asdasd
Asdasd
updating urls
Merge branch 'master' of github.com:UCSD-PL/algorithmic-software-verification
relaxing the base dependency
cleaning up ESC.hs