内容の理解が大切で、低利定理証明系のCoqも面白いんですけど、実装の理解も大切です。とりあえず、ソースを眺めてるだけだと分からない事も多いので写経しながら、自分の好みにあわせて書き換えてみてます。Scalaのioを使ってテキストを読み込み、パーサー…