Code

add inlining pragma#254

Code

Merged

jespercockx merged 3 commits intoagda:masteragda/agda2hs:masterfrom flupe:inliningflupe/agda2hs:inliningCopy head branch name to clipboardDec 21, 2023

+202-32

Commits

Commits on Dec 20, 2023

• add inlining pragma

  flupe

  committed
  818f056

  Copy full SHA for 818f056

• adding support for inlinable type aliases

  flupe

  committed
  d2fed44

  Copy full SHA for d2fed44

Commits on Dec 21, 2023

• remove dot pattern case, cleanup

  flupe

  committed
  e8e89b1

  Copy full SHA for e8e89b1