From e5c44c1848a20bbb5662ef3bdfa1039adf00a298 Mon Sep 17 00:00:00 2001 From: Maciej Bendkowski Date: Thu, 31 Mar 2022 22:04:22 +0200 Subject: [PATCH] Better wording. --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 6481a30..969cbd6 100644 --- a/README.md +++ b/README.md @@ -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`.