Hacker News new | ask | show | jobs
by throwaway81523 27 days ago
You should also look at Liquid Haskell.
1 comments

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