Code

Add foldr to the elpi builtins#203

Code

Merged

gares merged 6 commits intoLPCIC:masterLPCIC/elpi:masterfrom lukovdm:patch-1lukovdm/elpi:patch-1Copy head branch name to clipboardNov 7, 2023

+23-10

Commits

Commits on Oct 31, 2023

• Add foldr to the elpi builtins

  Show description for e2f6d6a
  lukovdm

  authored
  e2f6d6a

  Copy full SHA for e2f6d6a

• Remove trailing newline

  lukovdm

  authored
  5b7a730

  Copy full SHA for 5b7a730

• Change name of foldr and remove trailing newline

  lukovdm

  committed
  9677686

  Copy full SHA for 9677686

Commits on Nov 6, 2023

• fix generated file

  gares

  committed
  126b227

  Copy full SHA for 126b227

• fix test suite

  gares

  committed
  9da481a

  Copy full SHA for 9da481a

Commits on Nov 7, 2023

• update changelog

  gares

  committed
  2ad3327

  Copy full SHA for 2ad3327