I imagine that "type driven development" is largely a rebranding of very old ideas about proof search, like Robinson's work on resolution in the 60s
-
Show this thread
Replying to @_julesh_
I think that is a large part of it, yes, although the challenge is finding the right proofs to search for in the first place. We need to revisit these old ideas.
4:41 AM - 21 Dec 2018
0 replies
0 retweets
8 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.