フォローしてくれた方ありがとうございます(*´∀｀*)
fedibirdではしー(JK)の愚痴とかベスフレに書けないこと書くよ
LTLが存在しないインスタンスだからHTLで見てね(*´∀｀*)