| ▲ | lr0 4 hours ago | |
How is that better than just writing tests and running them in any other language, let's say Go? | ||
| ▲ | hei-lima 4 hours ago | parent [-] | |
Tests aren't proofs. | ||
| ▲ | lr0 4 hours ago | |
How is that better than just writing tests and running them in any other language, let's say Go? | ||
| ▲ | hei-lima 4 hours ago | parent [-] | |
Tests aren't proofs. | ||