| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
FormalLanguage.GrammarProduct
Description
This module contains the top-level functionality required to define "products of grammars" (or more sloppily "how to multiply dynamic programming algorithms"). Some operators (like '(><)') will check if both grammars are compatible with the operation and fail if not.
TODO Later on we probably will be able to multiply without restrictions.