agda 2.9

agda で unused module import を見つけたい。どうも agda-unused という command はあるらしい

なんだが、agda そのものでやるべきだよね? と思ってさがしてみると

agda-2.9

にはあるらしい。なんだが、homebrew では 2.8.0.1 まで。2.9 だと並列処理も入る

なので、開発 version にいく気になった

で、ghcup ってので version わけすると chatgpt はいうのだが、defalut は9.6。agda が使っているのは9.12.2

まぁ、

1039 21:33 ghcup list
1040 21:35 ghcup install ghc 9.12.2
1041 21:38 ghcup set ghc 9.12.2

で、良いらしい

いままで、一番スムースかも

動くかどうかは、これから