><https://twitter.com/orange_in_spacehttps://pawoo.net/@orange_in_space
「if文の形で><」 → conditional proof / conditional introduction
こういうの><;https://mstdn.nere9.help/@orange_in_space/116536351086505069
オレンジがブチ切れて議論するときに "ところで" を多用するようになったのって何が由来なんだろう?><
思考の /dev/null