2022.05.12
https://gyazo.com/1f7b5e1041ccbac810748010a431c95b
#いいコメント
前：2022.05.11
後：2022.05.13
#日報
思った
この大学に定理証明支援系とかあの辺りのオタクがいるんだ！と感動した（偶然発見し、会話を…）
計算論で文脈自由文法の形式的定義が得られて良かった，つながるんだ
知った
devshell-files
devshellで同時にファイル生成をしてくれるものがあった
jkillian.custom-local-formattersのコマンドにはちゃんと通るコマンドを入れなければならない！
つまり，というか当たり前なんだけど
devshellでper-projectにインストールしたもので，そのプロジェクトのシェルだけでしか使えないものをVSCode側が知る由も無いので，ちゃんとcommand = "/nix/store/3pb3sz3pr2czf5ycz7680avpcl32iaf8-taplo-cli-0.6.2/bin/taplo"みたいに書く必要がある
グローバルにインストールしているならこの限りではない
ではtreefmt.tomlをどうするのか？（nix/以下のものとか知れるわけがない（変わりうる））
自動生成へ！
https://github.com/aya-prover/aya-dev
aya-prover
~ Who's generalizing definitional equalities?
こいつ　東方厨すぎる
やった
SnO2WMaN/overdose-devenv-with-nix
https://github.com/SnO2WMaN/overdose-devenv-with-nix
devshell-files
jkillian.custom-local-formatters
treefmt
などを使って完全なる開発環境 w/ VSCodeを…