Wow - I must try implementing some things from Types and Programming Languages in Redex - looks like fun!
Quote Tweet
I'm gonna start recommending @lambda_calculus's dvanhorn.github.io/redex-aam-tuto as a way to get started with Redex. Best resource I've seen.
