Hacker News
- Esverify: LiquidHaskell inspired verification for JavaScript https://esverify.org 18 comments
- LiquidHaskell: Refinement Types via SMT and Predicate Abstraction http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/about/ 3 comments
- LiquidHaskell plugin build failed https://github.com/ucsd-progsys/liquidhaskell/issues/1883 7 comments haskell
- LiquidHaskell is a GHC Plugin https://ucsd-progsys.github.io/liquidhaskell-blog/2020/08/20/lh-as-a-ghc-plugin.lhs/ 23 comments haskell
- LiquidHaskell refines Haskell's types with logical predicates that let you enforce critical properties at compile time https://ucsd-progsys.github.io/liquidhaskell-blog/ 18 comments programming
- Motivation of LiquidHaskell? https://www.reddit.com/r/haskell/comments/6y3zvt/motivation_of_liquidhaskell/ 23 comments haskell
- Arithmetic Overflows and LiquidHaskell https://ucsd-progsys.github.io/liquidhaskell-blog/2017/03/20/arithmetic-overflows.lhs/ 28 comments haskell
- Okasaki's Lazy Queues with LiquidHaskell http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2015/01/28/okasakis-lazy-queue.lhs/ 13 comments haskell
- LiquidHaskell: Pointers Gone Wild http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2014/05/28/pointers-gone-wild.lhs/ 16 comments haskell
- LiquidHaskell: The Advantage of Measures http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2014/02/11/the-advantage-of-measures.lhs/ 3 comments haskell
- LiquidHaskell: Termination Requires Refinements http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2013/12/14/gcd.lhs/ 6 comments haskell
- Checking Termination With LiquidHaskell http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2013/12/09/checking-termination.lhs/ 3 comments haskell
- LiquidHaskell: Getting to the bottom of the lie http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2013/12/02/getting-to-the-bottom.lhs/ 31 comments haskell
- LiquidHaskell Caught Telling Lies http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2013/11/23/telling_lies.lhs/ 21 comments haskell
- CSV Tables with LiquidHaskell http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2013/10/10/csv-tables.lhs/ 7 comments haskell
- Checking Lists Are In Order With LiquidHaskell http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2013/07/29/putting-things-in-order.lhs/ 3 comments haskell
- Abstracting over Refinements in LiquidHaskell http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2013/06/03/abstracting-over-refinements.lhs/ 4 comments haskell
- Bounding Vectors - LiquidHaskell http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2013/03/04/bounding-vectors.lhs/ 3 comments haskell
- LiquidHaskell: KMeans Clustering http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2013/02/16/kmeans-clustering-i.lhs/ 5 comments haskell
- LiquidHaskell - Refinements 101 (contd.) http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2013/01/27/refinements101-reax.lhs/ 8 comments haskell
- LiquidHaskell: Refinement Types in Haskell via SMT http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2013/01/01/refinement-types-101.lhs/ 24 comments haskell