r7rs-work
r7rs-work copied to clipboard
johnwcowan
http://r7rs.org/ causes my Firefox/Librewolf to complain. There seems to be an issue with the https certificate.
Hello, Apologies if this is not the best place to propose this idea, but I have thought of two ways that I think R7RS could sensibly allow for custom readers...
…#39 and close #40.
Originally pointed out by @zick in https://twitter.com/zick_minoh/status/1525789599997448192 (in Japanese). While the type of `applicate` is `E → E* → P → K → C`, the definition of `cwv` contains an...
Originally pointed out by @zick in https://pages.zick.run/2022/r7rsf.html (in Japanese). The type of `car-internal` in 7.2.4 is `E → K → C` but the definition of the function is `λεωκ ....
BottomScheme has `read-char` and `write-char`, but not the char type, which would probably result in strange incompatibilities. For example, in R7RS, `(write-char (substring "abc" 1 2))` is an error, but...
> Sequences of %-escapes representing non-ASCII characters are replaced by the corresponding Unicode character. This needs clarity, I think. Does this mean non-standard %uxxxx format? %xx encoded bytes with some...
It would be nice if there were a few words about how one naming scheme (pun intended) transformed into another naming scheme.
At the moment the following urls would be expected of the r7rs project. The checkmark means that the URL exists and is working in an expected way. - [x] http://r7rs.org...