うむ

ロジバンの元のモチベーションにかなりコンピュータと人間の協働みたいなのあったっぽいしなあ。最近 Toaq という人工言語にちょっと興味があるので、Toaq の LSP とか tree-sitter とか、見てみたい（言うだけなら無料）