update TODO
update TODO
 asdasd
 Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell
misc edits to slides
adding memory.lhs as new chapter
adding memory.lhs as new chapter
adding memory.lhs as new chapter
adding memory.lhs as new chapter
adding memory.lhs as new chapter
make button-lock optional as liquid-tip-show can be used without it
done with Memory.lhs
restoring 02_Measures.lhs
update to optparse-applicative-0.11
done making BOS-HASK plan
horrors Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell
adding 05_memory.hs but its junk right now
stupid div-zero
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
update CHANGES
fixed 05_Memory.hs