Code

Fix for #340#341

Code

Merged

jespercockx merged 1 commit intoagda:masteragda/agda2hs:masterfrom jespercockx:Issue340jespercockx/agda2hs:Issue340Copy head branch name to clipboardJul 22, 2024

+40-3

Commits

Commits on Jul 22, 2024

• [ fix agda#340 ] Compile pattern lambda to regular lambda if all proper patterns are erased

  jespercockx

  committed
  d284125

  Copy full SHA for d284125