Safe Haskell | None |
---|---|
Language | Haskell2010 |
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.