Notes on Redex.
Tex, don't push on make.
Redex code examples.
Redex section added.