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’ve found indexing terms by names really valuable. And that the state machines in general gets a lot of benefit for not much effort.
1 reply 0 retweets 0 likes
So I’m not really sure what you’re looking for. I’m after high reward (if not perfect) for low effort…
2:30 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.