3 ms·

Or maybe porting it to typed racket could be a worthwhile project.

• formalsystem 7y ago
  If you wanna start it, I'd be happy to contribute!