History of
by-topic
/
Calculus of Constructions
@master
git clone https://git.catseye.tc/The-Glosscubator/
-
Trim some resource titles.
Chris Pressey
6 months ago
-
When rebuilding, rewrite Markdown documents according to schema.
Chris Pressey
7 months ago
-
Remove placeholders that are no longer needed with Feedmark 0.16.
Chris Pressey
7 months ago
-
Fix commentary links.
Chris Pressey
9 months ago
-
Extract ratings to own files.
Chris Pressey
9 months ago
-
Rename commentary files.
Chris Pressey
9 months ago
-
Improve anchor formatting logic.
Chris Pressey
11 months ago
-
Link to commentary on entries that have a detectable amount of it.
Chris Pressey
11 months ago
-
Show ratings on books and papers too.
Chris Pressey
1 year, 4 days ago
-
Render rating next to each entry that has one, in the READMEs.
Chris Pressey
1 year, 4 days ago
-
Resources in multiple topics are now rendered in multiple READMEs.
Chris Pressey
1 year, 4 days ago
-
Format interlinks more usefully.
Chris Pressey
1 year, 2 months ago
-
Rate another paper (actually slides for a talk)
Chris Pressey
1 year, 3 months ago
-
Add a web page and rate a paper.
Chris Pressey
1 year, 3 months ago
-
Commentary on a Calculus of Constructions paper.
Chris Pressey
1 year, 3 months ago
-
Split Calculus of Constructions topic off from Coq topic.
Chris Pressey
1 year, 3 months ago