fix synterp bug with Program

LPCIC · Nov 22, 2024 · dccde88 · dccde88
1 parent 0e4eb52
commit dccde88
Show file tree

Hide file tree

Showing 6 changed files with 40 additions and 435 deletions.
diff --git a/elpi/elpi-quoted_syntax.elpi b/elpi/elpi-quoted_syntax.elpi