Pull requests: LPCIC/elpi
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Update ppx-elpi to work with current Elpi API and construct encoding of OCaml AST using it
#179
opened Apr 14, 2023 by
Gopiandcode
•
Draft
ProTip!
Filter pull requests by the default branch with base:master.