Finally re-implemented the positivity checker for Cur, and I'm amazed to find my colleagues accumulated 0 positivity bugs in the test suite. Guess Racket hackers are just naturally great at inductively defined data.
Conversation
This means the test suite is too small?
2
2
Well I thought this was more polite than saying "Guess Racket hackers are just naturally bad at tests." I could never say that.
2