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

9 pointsposted 9 hours ago
by Nolan_Lwin
(github.com)

1 Comments

eimrine

8 hours ago

Is it possible for Lisp at least in theory?