Maciej Bendkowski
Maciej Bendkowski
It seems that also `CurrencySymbol` should be treated similarly to other hashes.
... and perhaps an empty byte (for Ada)?
We should explicitly list what we need to import, so to avoid unnecessary clashes.
The syntax is meant to follow the construction of NFA. For instance, for the simple language `aaabb` we need two things. First, we need to specify the alphabet `{ a,...
FYI: Most recent changes of `boltzmann-brain` drop rational input specifications and, consequently, rational grammars. It should, however, be easier to implement ad-hoc sampler generators using `boltzmann-brain` as a tuning tool.
It would be a nice feature. Unfortunately, it requires the so-called general implicit theorem and, in particular, a different algorithm, see Section 5.2 of "Algorithms for Combinatorial Structures: Well-Founded Systems...
For the time being, you can use the `--force` flag.
Sergey, the force flag is meant to _intentionally_ skip the well-foundedness check (think of a huge system that you _a priori_ know to be correct). The issue is merely the...