Agda
Agda のモジュール読み込みのエラー Agda 2.5.2 で import my-module-file as M のようにしてファイルを開こうとすると、 Module cannot be imported since it has open interaction points when scope checking the declaration import my-module-file as M…
Agda のモジュール読み込みのエラー Agda 2.5.2 で import my-module-file as M のようにしてファイルを開こうとすると、 Module cannot be imported since it has open interaction points when scope checking the declaration import my-module-file as M…