A dependently typed program's test suite is a program committee much too often.
-
-
Replying to @DrDeeGlaze
Cur’s test suite is so thorough it finds bugs in Racket.
2 replies 0 retweets 6 likes
Replying to @wilbowma @DrDeeGlaze
Idris 2 has found enough bugs in Idris 1 to convince me that it's necessary, as if I wasn't convinced already...
1:17 PM - 28 Nov 2019
0 replies
0 retweets
3 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.