Renamingless Capture Avoiding Substitution

This repository contains a literate Haskell document describing a technique for capture avoiding substitution of open $\lambda$ terms.

See PDF.