5 ms·You should also look at Liquid Haskell.by throwaway81523 3mo agoYou should also look at Liquid Haskell.bneb-dev 3mo agoLH seems cool but the syntax would definitely take some getting used to...