Github Copilot and ChatGPT 4

Copilot は neovim の plugin ですね。両方共、金取るのかってのあるが、広告入れるわけにもいかんしな。

まぁ、税金と思うか説もあるが、両方は重複してる感じがある。

Agda はなんも出ないだろって思ってたんですが、

　　Hoge : ?

に対して、Hoge = ? ぐらいは出す。なんだが、

　　外れの再帰を出してくるのはやめろよ

Agda だと、一致しているかどうかの判断がかなり重いので邪魔感がある。

OSの授業なら、かなり役に立つんじゃないですかね。Copilot は切っちゃうかもな。