Suzanne Soy

Possibly related: Matthew Flatt's new implementation of modules as "linklets" > The word "linklet" refers to the simplified (relative to modules) > notion compilation, linking, and evaluation that's built into...

The reason why `(Cons (λ ([x : Y]) x) Nil)` would not typecheck was because the `Y` in `→ Y Y` appeared in a contravariant position, and the relaxed value...

Yes, it's still WIP. Sorry for the delay, hopefully I'll be able to finish it soon.

@rfindler Good questions. 1) The new window is 1133×485 The old window would have been roughly 222 px less, so roughly 911×485 . 2) What exactly do you mean by...

@rfindler Thanks for the feedback! You're right, it's too wide for e.g. 1024x768 and there are quite a few embedded-ish systems with this kind of lower resolution (e.g. my OpenPandora...

@rfindler I meant that if a line ends with an opening brace `{`, then it should keep that line break. So: ``` #lang scribble/manual @defproc[(+ [x integer?] [y integer?]) integer?]{...

@rfindler Yes, that's an issue indeed. I thought that the first word after the brace was moved with it, so that that this: ``` #lang scribble/manual @; Limit here ----->|...

_From @rfindler on February 26, 2016 19:47_ Thank you for your interest. This is the wrong repo, tho. The code is actually here: https://github.com/racket/gui/blob/master/gui-lib/scribble/private/indentation.rkt

I moved the issue here, since I had opened it in racket/scribble by accident. It is related to https://github.com/racket/scribble/issues/54 By the way, thanks @rfindler for yesterday's fixes! :-)

That's a very good point, I hadn't thought about this case. An obvious (poor) solution would be to make it a lens constructor, which takes the number of “main” elements...