AI support programming

まぁ、既に必須なわけですが、いろいろやらかしはあるよな

DB吹っ飛ばしも、migrateとloadのコピペ間違いだったらしく

まあ、厄介な部分をいろいろやってくれるのはよい

agda の github copilot は、それほど賢くない

今後どうなるかは、予想するのは難しいけど

　　数千行から数万行、数十万行

が1ヶ月くらいで書けるようになるとうれしいかも