Chris Done (not Chis)
fix code block in readme
do not abstract monomorphic lambda vars
Merge pull request #37 from gridaphobe/master

updates to the kmeans series
do not abstract monomorphic lambda vars
make correct DataConWorker Type
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
moving Reftable in to liquid-fixpoint
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
Asasda
asdasd
minor twiddles, tests pass
add failing test for interaction between Read and liquidAssertB

defining a Read instance appears to cause invocations of
`liquidAssert` and `liquidAssertB` to refine to `false`.

other typeclasses do not appear to trigger this issue, nor is
`liquidError` affected. unsafe type annotations are still detected,
e.g.

    {-@ bad :: {v:Integer | v = 5} @-}
    bad = 4
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
asdasd
adding symbols to Ref
remove FReft
remove refsyms and f/add/dropSyms -- rebuild liquid-fixpoint
Merge pull request #39 from gridaphobe/read

add failing test for interaction between Read and liquidAssertB
Merge pull request #40 from ucsd-progsys/syms

Syms