mirror of
https://github.com/maciej-bendkowski/generic-boltzmann-brain.git
synced 2024-08-17 08:30:30 +03:00
Better wording.
This commit is contained in:
parent
370cfd5317
commit
e5c44c1848
@ -161,8 +161,8 @@ We recommend using `stack` for compiling `generic-boltzmann-brain` sources.
|
||||
### Known limitations
|
||||
|
||||
- Polymorphic data types are *not* supported.
|
||||
- Non-algebraic data type specification are currently *not* supported, though
|
||||
some of their extensions, such as some *Pólya structures* are *feasible*.
|
||||
- Non-algebraic data type specifications are currently *not* supported, though
|
||||
some of their extensions, such as certain *Pólya structures* are *feasible*.
|
||||
- Nested lists such as `[[Lambda]]` are *not* supported, even though lists such
|
||||
as `[Lambda]` are. Note however that this is not a conceptual limitation, and
|
||||
could be supported in future versions of `generic-boltzmann-brain`.
|
||||
|
Loading…
Reference in New Issue
Block a user