search

BNFC / bnfc

BNF Converter
http://bnfc.digitalgrammars.com/
583 stars 162 forks source link

Allow stacking of layout keywords on same line #354

Closed andreasabel closed 3 years ago

andreasabel commented 3 years ago

This is https://github.com/agda/agda/issues/1145.