i was not aware of what's going on with Liquid Haskell! This dissertation[0] just came out and looks like to be exactly what i had in mind! [0] http://goto.ucs

i was not aware of what's going on with Liquid Haskell! This dissertation[0] just came out and looks like to be exactly what i had in mind! [0] http://goto.ucsd.edu/~nvazou/thesis/main.pdf http://goto.ucsd.edu/~nvazou/thesis/main.pdf