3 ms·

Awesome, thanks for that. Haskell really seems like the language for this.

• Myrmornis 7y ago
  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!