issues
search
LPCIC
/
coq-elpi-lang
VSCode extension for coq-elpi
MIT License
3
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Drop dep
#3
gares
closed
10 months ago
0
Repeatedly processing the same text gives errors with quote-nested Elpi metavariables
#2
patrick-nicodemus
opened
1 year ago
1
Formatting issue with {{ in string
#1
MSoegtropIMC
closed
1 year ago
13