Darij Grinberg

@gares Done what you said. Now this branch has the relatively straightforward edits, whereas the implicit argument rewrite is at https://github.com/darijgr/mcb/tree/sugg2b .

I am not sure about its usefulness as an exercise -- the subtle need for applying SSLD is too easy to miss, and at this level students (in my limited...

Not a big deal -- I just spent an hour or so looking through the text a year ago (I decided against using it in my class mainly because of...

Here is what I see on Brave:  (Brave on Windows. ScriptSafe active but *.arxiv.org allowed.)

Ah, it's a Dark Mode issue. Wow.