你即將離開本站

並前往https://docs.idris-lang.org/en/latest/tutorial/syntax.html

Syntax Extensions — Idris 1.3.3 documentation

Non -terminals — included in square brackets, [test] , [t] and [e] here, ... Syntax macros can be further restricted to apply only in patterns (i.e. only on ...

確定！ 回上一頁

查詢 「No restricted syntax」的人也找了：

  1. No restricted syntax
    2.
  2. Guard for in
    3.
  3. Consistent-return
    4.
  4. No-loop-func
    5.
  5. No-param-reassign
    6.
  6. Eslint no undef
    7.
  7. No-await-in-loop
    8.
  8. No-unused-vars
    9.