User-programmable infix operators in Racket| lexi-lambda.github.io
Realizing Hackett, a metaprogrammable Haskell| lexi-lambda.github.io