The future of software isn't tests. It's proofs

(github.com)

9 points | by Nolan_Lwin 9 hours ago ago

1 comments

  • eimrine 9 hours ago

    Is it possible for Lisp at least in theory?