Code

Fix termination with as-patterns#1787

Code

Merged

janmasrovira merged 1 commit intomainanoma/juvix:mainfrom termination-atanoma/juvix:termination-atCopy head branch name to clipboardJan 31, 2023

+39-11

Commits

Commits on Jan 31, 2023

• adapt fold to include named subpatterns

  

  janmasrovira

  authored and

  paulcadman

  committed
  e9a61d9

  Copy full SHA for e9a61d9