Questions tagged [gappa]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
3 votes
1 answer
98 views

gappa seems to generate bad Coq

I'm using the -Bcoq backend of gappa. The coq file contains dollar signs. So far as I can tell, a coq file should not contain dollar signs. Here is a snippet from -Bcoq : ...
Michael Hennebry's user avatar