homebrew updgrade

AgdaのSheafの方もだいぶ進んで、って

　まだやってるのかよ

て感じなんですけどね。でも随伴函手のηとεの定義まではできた

ところが、εの定義を接続すると Agda が止まらない。なので、

　そろそろ version up するか

と brew upgrade するわけだな

で、まぁ、いろいろ trouble が

　Perl/Tk の build に失敗する。って、ソースは5年前?!

他のものを探すと、Prima ってのがあるらしい。それは Aqua もあるらしいが、install してみたら

　X11 base

まぁ、それなら、Perl/Tkか。JPEG/jpeg を見直すと、system のlibjpegを使う設定の認識にしくってたのでそれでなおりました

ChatGPTがこの辺には便利

でも、agdaの方は

/Users/kono/src/CategoryExercise/src/@@HOMEBREW_CELLAR@@/ghc/9.12.2/lib/ghc-9.12.2/bin/./ghc-9.12.2: No such file or directory /opt/homebrew/bin/ghc: line 10: exec:

なんだこれ? 要するに、テンプレートからの生成に失敗しているらしい

結局、brew uninstall ghc ; brew insatall ghc で解決

ところが、nvim のplugin がトラブる。まぁ、予想はしてたんだが。ついでに

　　新しい plug in 試してみるか

で、https://github.com/agda/cornelis これを見るんだが

　　neovim では、init.lua で初期化するのが普通

って、いつからだよ。まぁ、neovim 使うってのは、そういうことだから、仕方ない

というわけで、emacs で止まらないことは確認したが、nvim では、まだ、動いてません