History of
by-topic
/
Calculus of Constructions
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Improve anchor formatting logic. Chris Pressey a month ago
- Link to commentary on entries that have a detectable amount of it. Chris Pressey a month ago
- Show ratings on books and papers too. Chris Pressey a month ago
- Render rating next to each entry that has one, in the READMEs. Chris Pressey a month ago
- Resources in multiple topics are now rendered in multiple READMEs. Chris Pressey a month ago
- Format interlinks more usefully. Chris Pressey 4 months ago
- Rate another paper (actually slides for a talk) Chris Pressey 5 months ago
- Add a web page and rate a paper. Chris Pressey 5 months ago
- Commentary on a Calculus of Constructions paper. Chris Pressey 5 months ago
- Split Calculus of Constructions topic off from Coq topic. Chris Pressey 5 months ago