Agdaの高速化の話

結局、編集部分だけ別モジュールにしたら、まぁ、許せる速度になったのでそういうことで

ところが、そういう風に行き来すると

　間違えて部分的に消す
　位置が変わる

という残念なことがおきる。まぁ、いいどさ