Comment by throwaway81523 5 days ago You should also look at Liquid Haskell. 1 comment throwaway81523 Reply bneb-dev 3 days ago LH seems cool but the syntax would definitely take some getting used to...
LH seems cool but the syntax would definitely take some getting used to...