News for hackers. Stuff that matters.

A comment on Formal methods only solve half my problems. Parent comment

Re:Formal methods only solve half my problems by simonmic on Sunday June 05, 2022 @03:00AM (#31628698)
Haskell (using https://docs.haskellstack.org/en/stable/GUIDE/#script-interp...).

The downside: requires 1. installing stack and 2. waiting for it to install ghc and libs on first run of the script.

[ Parent | on HN ]

There are no comments on this comment yet.