When it comes to smart contracts and scripting languages, you don’t mess around. You see the tremendous value in Coq-definable, formal denotational semantics.
We know that. You know that. And with the Simplicity t-shirt, you can let the world know that.
Warning: Wearers of this shirt can expect to be regularly stopped in the streets by strangers wanting to discuss combinator-based functional languages and their role in cryptocurrencies.