Michael Greenberg

See also https://github.com/andromeda/pash/issues/240 and #8 and #9. What a mess!

Heredocs are messing up embedded double quotes (which don't need to be quoted).

No, I hadn't, because I didn't know you could. You've got my attention! How does it work?

That sounds very promising! I'll take a look. I would need `ocamlmklib` call that just included the `.a` file from the original library along with the `.o` from those generated...

We independently ran into this (per email); posting the file here for posterity. A negative occurrence check would rule out the following program: ```Haskell module Omega where import qualified Data.Map...

Side note: that file passes as safe when I use the github version, but Ron's version from cabal breaks with a bunch of weird subtype errors.

My life would be somewhat easier if there was an option (checked by default) to munge the PATH, since it's one less class of mistake students can make (opening the...

I'll be content with whichever option, though I suspect there are lots of things that CS students "should be able to" do that some of our intro-level students will struggle...

That should suffice, yes. If there was an option in the installer to create a desktop shortcut, that'd be great, too. :) Thank you! My understanding of macOS is it's...

Oof... that sounds like a lot of work for very small reward. 😒 We're avoiding CoqIDE in our course (Unicode and UI functionality issues), but I could imagine it being...