https://github.com/casperbp/renamingless-capture-avoiding
Tip revision: b6151854da6971c90f3db8212f3dd1c11286c44f authored by Casper Bach Poulsen on 31 January 2023, 12:41:24 UTC
Fix ccs
Fix ccs
Tip revision: b615185
README.md
# Renamingless Capture Avoiding Substitution
This repository contains a literate Haskell document describing a technique for capture avoiding substitution of open $\lambda$ terms.
See [PDF](./renamingless-capture-avoiding.pdf).