Martin Pépin

There is no atom in these grammars, this cannot work with the current implementation. Maybe atoms were implicitly added in a former implementation, back when this issue was posted? I...

Thanks for your answer. I'm okay with the current organization for the time bing, this is a really low-priority request, just something I wanted to add on the wishlist ;)...

OCaml17 compiles thanks, I should have looked at that first (also fixed the issue's title)

I'm having the same issue here. After of bit of searching it turns out it comes from `Paginator` which complains because of [this remark](https://docs.djangoproject.com/en/1.11/topics/pagination/#required-arguments) in Django's documentation. The fix would...

Do you think it's possible to scope things so as to prevent that from ever happening? (I'm not very familiar with Haskell)

```haskell -- | Compiler: Boltzmann Brain v2.0 (01-07-2022 19:31:23) -- | Generated at: 01-07-2022 19:58:32 -- | Singularity: 0.249999937437454 -- | System type: algebraic -- | Target size: 1000 --...

Oh I understand, I failed to recognize that this was an automaton description, everything is clearer now. Maybe it would be nice to write this in the README. Concerning singular...

Ahah I see that my answer is so late that the initial question is already out-dated ^^

Oh I see, thanks for the pointer! I didn't suspect this to be that a subtle point. If I can use the `--force` flag whenever I know the general implicit...