コンパイラ読み会

LLVM clang をなぜか debug flag を忘れてて。良くある。

Agda の方も、lua 入れたり、.agdai 生成したりで、まぁ、苦労してます。

読む方は、Stacktrace を down しながら。ちょっと安易かな。

まぁ、でもこんなもんか。明日は agda 読む予定です。