Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Add some notes on a collection of conference proceedings. Chris Pressey 8 months ago
- Add a short observation on the Nielsen–Schreier theorem. Chris Pressey 8 months ago
- Add the "Viewing λ-terms through Maps" paper. Chris Pressey 8 months ago
- Add a Name Binding repo. Chris Pressey 8 months ago
- Fix how the main links are rendered. Chris Pressey 8 months ago
- Format interlinks more usefully. Chris Pressey 8 months ago
- Follow the Cat's Eye Technologies repository layout. Chris Pressey 8 months ago
- Rate two papers. Chris Pressey 8 months ago
- Add a paper on Type Theory. Chris Pressey 8 months ago
- Rate a paper on Type Systems. Chris Pressey 8 months ago
- Add a Name Binding paper (actually assignments.) And some gloss. Chris Pressey 8 months ago
- Rate two papers, then add two more papers. Chris Pressey 8 months ago
- Rate and gloss three papers. Chris Pressey 8 months ago
- Rate two papers. Chris Pressey 8 months ago
- Add two papers. Chris Pressey 8 months ago
- Add several papers, and 2 webpages. Chris Pressey 8 months ago
- Add a paper and a webpage. Chris Pressey 8 months ago
- Update by-topic/Model Checking/commentary/Chris Pressey.md cpressey 8 months ago
- Clean up. Remove a few entries, re-rate some others. Chris Pressey 8 months ago
- Add commentary on an Equational Logic paper. Chris Pressey 9 months ago
- Add more commentary. Chris Pressey 9 months ago
- Add more commentary. Chris Pressey 9 months ago
- Add an x86 book. Chris Pressey 9 months ago
- Add a web page. Chris Pressey 9 months ago
- Rate a Name Binding paper. Chris Pressey 9 months ago
- Rate a Software Engineering paper. Chris Pressey 9 months ago
- Un-rate a number of papers I've been meaning to (re)read. Chris Pressey 9 months ago
- Rate and finish commentary on a Topology paper. Chris Pressey 9 months ago
- Add a Modal Logic webpage and a Name Binding repository. Chris Pressey 9 months ago
- Add three repos and a webpage for a programming language. Chris Pressey 9 months ago