goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.
@janestreetPhiladelphia, PA
goldfirere's Stars
ott-lang/ott
The Ott tool for writing definitions of programming languages and calculi