Tuesday, 16 July 2024

agda update

沖縄に戻ってきました

Agda version 2.6.4.3 に上げたんですが、standard library が微妙に違う

開発版は 2.1 で現行は2.0 で、2.0 を修正していったら、なぜか 2.1 でも通るように

agda --library=standard-library-2.1 --include-path=.

とするらしい。2.0と2.1の関係は良くわからず

No comments: