The future of software isn't tests. It's proofs(github.com)
9 pointsby Nolan_Lwin9 hours ago1 comment
  • eimrine8 hours ago
    Is it possible for Lisp at least in theory?