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