↑
The future of software isn't tests. It's proofs
Posted by
Nolan_Lwin
|
2 hours ago |
1 comments
eimrine 2 hours ago
Is it possible for Lisp at least in theory?
