History of
by-topic
/
Name Binding
/
Papers.md
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Add the "Viewing λ-terms through Maps" paper. Chris Pressey 2 months ago
- Add a Name Binding paper (actually assignments.) And some gloss. Chris Pressey 2 months ago
- Add two papers. Chris Pressey 2 months ago
- Clean up. Remove a few entries, re-rate some others. Chris Pressey 2 months ago
- Checkpoint removing `src` directories. Chris Pressey 3 months ago