你即將離開本站

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

Overloaded pattern synonyms · Issue #2787 - GitHub

Pattern synonym expansion could then produce a single term with constructor names being the union of the constructors from the overloaded ...

確定！ 回上一頁

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

  1. Overwhelmed synonym
    2.
  2. Overload synonym
    3.
  3. Inundated synonym
    4.
  4. Oppress synonym
    5.
  5. Burden synonym
    6.
  6. Too much synonym
    7.
  7. Excess synonym
    8.
  8. Surge synonym
    9.