This commit is contained in:
Tony Garnock-Jones 2019-08-11 14:36:47 +01:00
parent bd6517e154
commit 1cf1ab1707
1 changed files with 2 additions and 0 deletions

View File

@ -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