6 ms·

Thanks for reading and sharing your thoughts!

• throwaway81523 3mo ago
  You should also look at Liquid Haskell.
  • bneb-dev 3mo ago
    LH seems cool but the syntax would definitely take some getting used to...