asdad
update entry
flibb
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
updating web demos with niki's hopa files
moving blog into docs
why is it asking me to write things when i merge

Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
adding tutorial directory
nuking crap
tweak makefile
done with List
misc tweaks. pushing all but Array
done tweaking. niki: do the last one Array.hs
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell into text