Nothing Special   »   [go: up one dir, main page]

Skip to content

No labels!

There aren’t any labels for this repository quite yet.

abandoned
abandoned
Agda
Agda
Issues of the Agda backend
already-fixed
already-fixed
API
API
Concerning the BNFC library
AST
AST
Concerning the generated abstract syntax
blocked
blocked
Blocked by some other issue
breaking
breaking
build
build
Building BNFC
builtin
builtin
Concerning built-in tokens like Integer, String etc.
C#
C#
cabal
cabal
Integration with Cabal
CI
CI
Continuous integration
coercions
coercions
comments
comments
Concerning the "comment" pragma
critical
critical
define
define
Issue with define pragma
dependencies
dependencies
Pull requests that update a dependency file
deployment
deployment
Concerning packaging, deploying with dependencies etc.
discussion
discussion
documentation
documentation
duplicate
duplicate
entrypoints
entrypoints
Concerning entry points for the parser and the `entrypoints` directive
error-reporting
error-reporting
Concerning error messages BNFC gives
examples
examples
Concerning the SQL example suite
faq
faq
User question