What’s in a Name? – Why “Type-Driven Consulting”
“Type-Driven” is a pretty cool-sounding name, but I cannot take all the credit for it. In this post I discuss some of the history behind the name, and how it …
Tag: Idris
“Type-Driven” is a pretty cool-sounding name, but I cannot take all the credit for it. In this post I discuss some of the history behind the name, and how it …