Seeker's eye
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:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment