Sam Tobin-Hochstadt

Note that this code works, so I'm confused: ``` #lang racket/base (define (f #:x [x #f]) (+ x 1)) (require ffi/unsafe/vm) (define extract-procedure (vm-eval '(lambda (x) (extract-procedure x #f)))) (eq?...

@metaxal If you can see what I've done wrong here, I'm sure it's dumb.

@Metaxal can you confirm that the patch in this PR doesn't fix the big for you, but that the code snippet does work?

Just for the data points, my email client (Gmail on Android) renders the copyright symbols the same, but my browser (Firefox on Android) renders the first one larger.

In which case, the issue probably would reappear if you wrap the number with `values`.

Mentioning @rfindler.

There are some deep questions about what we want here, but I think we want no one to be blamed, at least to start.

There are a few different things here. 1. The unicode characters are mostly supported. I see that ∪ doesn't work; that should be fixed. What should the reverse arrow mean,...

I'm confused about the motivation here. The code you started with seems like how I would write the program in Racket, and thus how I'd want to write the program...

I'm still a bit confused. It sounds like you want to program in a more point-free style when writing predicates. Contract combinators can be used for this, but (a) `not/c`...