Zeno: Automated Proof System For Haskellhaskell.org2 points·clay··0 commentsOpen articleSaveView on HN