-
Notifications
You must be signed in to change notification settings - Fork 37
Pull requests: LPCIC/elpi
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
PPX to have compile time beta reduction
#65
opened Apr 30, 2020 by
gares
Loading…
updated Apr 30, 2020
[WIP] Heap/Stack terms with different syntax
#35
opened Aug 13, 2019 by
gares
Loading…
updated Apr 18, 2022
Update ppx-elpi to work with current Elpi API and construct encoding of OCaml AST using it
#179
opened Apr 14, 2023 by
kiranandcode
•
Draft
updated Dec 11, 2023
ProTip!
Add no:assignee to see everything that’s not assigned.