Alexis King

I think this is essentially the same bug as #89, but I’m not completely sure. The issue seems to be that, when solving `Show (Cons b a)`, the typechecker isn’t...

I dropped the skolem escape check from the previous implementation because I clearly wasn’t doing it correctly, but I wasn’t sure precisely how to do it properly. I agree that...

My interpretation of the *Complete and Easy* paper is that the ordered context is quite useful for proving properties of their system, which they care a lot about. It does...

It’s unlikely that either of these will exist as *functions*, but it’s quite possible they will exist as *forms*. The `list` form is already available as `[` square brackets `]`,...

> I noticed that lazy evaluation is more of a hindrance after the prototype stage (from my Haskell experience). This seems like an odd statement to me. Perhaps you could...

Honestly, I’m not sure. There will definitely come a time, hopefully soon, when guinea pigs are needed. :) But I don’t think that time is here quite yet. There’s still...

I agree that it probably makes sense to provide an interface to create a fresh PRNG. It may also make sense to provide a `random/io` function, but make it use...

This is really cool! Do you happen to have an SVG version of the logo, or is it just a bitmap?

I’m sorry for not commenting on this sooner. I didn’t forget about it, but I should have gotten to it earlier. Hopefully two weeks late isn’t too late! Anyway, to...

Should `mod` forms work like `module*`? That is, should they be expanded *after* the enclosing Racket module has been expanded and elaborated? Or should they be more like `module` submodules,...