Agda中的解析错误可以由许多不同的原因引起,但是通常情况下都是因为定义中存在错误。以下是一些可能的示例及其
问题1:无法解析符号或关键字。 示例:
module MyModule where
open import Data.Nat
myFunction : Nat -> Nat
myFunction n =
if n == zero then zero else n + 1
上一篇:Agda中的函数终止检查失败