Labels
Labels
86 labels
- Issues of the Agda backend
- Concerning the BNFC library
- Concerning the generated abstract syntax
- Blocked by some other issue
- Building BNFC
- Concerning built-in tokens like Integer, String etc.
- Integration with Cabal
- Continuous integration
- Concerning the "comment" pragma
- Issue with define pragma
- Pull requests that update a dependency file
- Concerning packaging, deploying with dependencies etc.
- Concerning entry points for the parser and the `entrypoints` directive
- Concerning error messages BNFC gives
- Concerning the SQL example suite
- User question