News for hackers. Stuff that matters.

A comment on Coq 8.6 is out. Parent comment

Re:Coq 8.6 is out by bbcbasic on Thursday December 15, 2016 @02:17AM (#13183021)
Liquid Haskell is worth a look
[ Parent | on HN ]
Re:Coq 8.6 is out by LeanderK on Friday December 16, 2016 @06:01AM (#13192408)
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

[ Parent | on HN ]