5 minutes ago, Matthew Flatt wrote:
There's a naming-convention clash between
* `in-...' for sequences (sometimes streams) especially intended
for direct use in `for' forms, and
* operations on streams and sequences, which would normally start
`stream-' or `sequence-'.
I see
It looks to me like the handin server's web interface isn't currently working.
I enabled the handin server with the https-server-port set to 7980, and got no
response on that port.
Perhaps the larger mystery here is why it is that I just can't find the
documentation for the handin server...
2 matches
Mail list logo