From 1cf1ab1707c4c9389f00de53aa486291b211c62d Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sun, 11 Aug 2019 14:36:47 +0100 Subject: [PATCH] New Q --- preserves.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/preserves.md b/preserves.md index d054a19..e19967d 100644 --- a/preserves.md +++ b/preserves.md @@ -1442,6 +1442,8 @@ remain case-insensitive (`%i"..."`). However, non-JSON extensions do not. There's only one (?) at the moment, the `%i"f"` in `Float`; should it be changed to case-sensitive? +Q. Should `IOList`s be wrapped in an identifying unary record constructor? + TODO: Examples of the ordering. `"bzz" < "c" < "caa"`; `#true < 3 < "3" < |3|` TODO: Probably should add a canonicalized subset. Consider adding