键入检查附加的错误文件会导致以下错误:
前奏曲互动。GhciTop>cmd_load“/Users/jmc/Bug.agda”agda2模式代码(agda2高光重新加载)***异常:src/full/TypeChecking/Subtitute.hs:101:发生了不可能的情况前奏曲互动。GhciTop>
附件:Bug.agda
阿格达
编辑提要栏