Discussions of dependent types often assume they're all about specification and proof. That's part of it, but not the most interesting bit.
-
Show this thread
I suppose to some extent that depends what you mean by "nice". My favourite examples are often about side effects and state, for example.
12:51 PM - 12 Jan 2018
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.