search

BNFC / bnfc

BNF Converter
http://bnfc.digitalgrammars.com/
582 stars 161 forks source link

Fix #405: support --functor in the Agda backend #406

Closed andreasabel closed 2 years ago

andreasabel commented 2 years ago

Fix #405: support --functor in the Agda backend

TODO:

andreasabel commented 2 years ago

@depsterr: Does this fit your needs?

rachelambda commented 2 years ago

This seems perfect! Thanks for the quick fix, much appreciated!