你即將離開本站

並前往http://agda.readthedocs.io/en/v2.5.2/language/function-definitions.html

Function Definitions — Agda 2.5.2 documentation

Each clause consists of the function being defined applied to a number of ... Agda supports two special kinds of patterns: dot patterns and absurd patterns.

確定！ 回上一頁

查詢 「Define absurd」的人也找了：

  1. Absurd
    2.
  2. Absurd ridiculous
    3.
  3. absurd中文
    4.
  4. Cautious
    5.
  5. Accelerate
    6.
  6. Ridiculous
    7.
  7. absurd意思
    8.
  8. Absurd meaning
    9.