Hacker News Reader

Thanks for reading and sharing your thoughts!

You should also look at Liquid Haskell.

LH seems cool but the syntax would definitely take some getting used to...