Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Repository Index
71,372 visible repositories in the index
1–2 of 2 · Most stars
Syntax extension for embedded SQL queries using PG'OCaml.
71,372 visible repositories in the index
1–2 of 2 · Most stars
Rocq plugin embedding Elpi
Syntax extension for embedded SQL queries using PG'OCaml.