Conversation

Yeah, I'm getting a feeling that dependent types can get rid of the need of vast swaths of unit/integration tests, but you still need end-to-end tests to make sure you're on the right track.
2
1
Show replies