Follow

これは真理なんだけど、ガッチガチに証明書くようにすると基本的に表現力がガタ落ちしたりコンパイル時間が無限に発散することが知られており、バランスは難しい

Sign in to participate in the conversation
Mastodon

らりお (@lo48576) の個人インスタンス。 気紛れで master に追従する。 らりおの発言は、引用などを除き、明記なき限り CC-BY 4.0 ライセンスで提供される。