Lorentz: Achieving Correctness with Haskell Newtypesserokell.io4 points·NaeosPsy··0 commentsOpen articleSaveView on HN