Math is red;
the type theory
tends to break CI
is based on the set theory,
disallow to be read green,
forever. #haiku
https://hachyderm.io/@samhenrigold/111049610842784816
sam henri gold (@samhenrigold@hachyderm.io)
📚 [ ] 🔵 Math is blue [ ] 🔴 Math is red [ ] 🟠 Math…
Hachyderm.ioいいわけ
・すごく抽象的でアートぽいお題
・AはB、て言われたらこれしか思いつけなかったので詩的なのにしたかった https://ja.m.wikibooks.org/wiki/%E5%B0%8F%E5%AD%A6%E6%A0%A1%E5%9B%BD%E8%AA%9E/%E6%9E%95%E8%8D%89%E5%AD%90
・赤と言えばCI失敗、型理論で増やせるぜ
・redとread (pp) とで踏みたかった（強引）