USA's avatar
USA 3 weeks ago
TLA+はなんだかんだで役に立つというのが今日の結論だった
↑