Dependent types obviate TDD. Boom: http://chromaticleaves.com/posts/idris-and-dependent-types.html …
Replying to @milessabin
@milessabin @erikhinton I'm right out of kool-aid...
2:58 PM - 8 May 2014
0 replies
0 retweets
1 like
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.