add predicates to coq-lib to convert elpi strings and lists to coq strings and lists.#530
Open
lukovdm wants to merge 1 commit intoLPCIC:masterfrom
Open
add predicates to coq-lib to convert elpi strings and lists to coq strings and lists.#530lukovdm wants to merge 1 commit intoLPCIC:masterfrom
lukovdm wants to merge 1 commit intoLPCIC:masterfrom
Commits
Commits on Oct 31, 2023
- committed
