你即將離開本站

並前往https://github.com/agda/agda/issues/3879

Only unqualified pattern synonyms should be used ... - GitHub

Only unqualified pattern synonyms should be used for resugaring #3879. Closed. mietek opened this issue on Jul 2, 2019 · 8 comments.

確定！ 回上一頁

查詢 「Unqualified synonym」的人也找了：

  1. Unqualified synonym
    2.
  2. Inappropriate synonym
    3.
  3. Unconditional synonym
    4.
  4. Unprepared synonym
    5.
  5. Inept synonym
    6.
  6. Qualified synonym
    7.
  7. Novice synonym
    8.
  8. Ineligible synonym
    9.