2024.07.31

https://gyazo.com/d27a57e01bdb39e3a12ce13d41d0c765

メモ

メモ

かっこよすぎる

メモ

ネットミームとしての「横転」という語を調べた結果、少なくともツイッターで確認できる範囲では2019年の5月頃には既に用法としてあるため、キャンピングカーの例の動画よりもおそらく前だろうというやや意外な結果になった

メモ

最近まで全く知らずに書いていたけどLean4だと1文字の小文字アルファベットまたはギリシャ文字に対して適当に型を補完してくれるということを知った