4 ms·
Liquid Haskell is worth a look
by bbcbasic 10y ago
Liquid Haskell is worth a look
- LeanderK 10y agoi 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