你即將離開本站

並前往https://agda.readthedocs.io/en/v2.5.4/language/irrelevance.html

Irrelevance — Agda 2.5.4 documentation

Irrelevance ¶. Since version 2.2.8 Agda supports irrelevancy annotations. The general rule is that anything prepended by a dot (.) is marked irrelevant, which ...

確定！ 回上一頁

查詢 「Irrelevance」的人也找了：

  1. irrelevance中文
    2.
  2. Irrelevance
    3.
  3. Irrelevant
    4.
  4. Relevant
    5.
  5. Relevant information 中文
    6.
  6. More relevant to
    7.
  7. Where relevant 中文
    8.
  8. Abhorrence
    9.