History of
by-topic
/
Type Theory
/
commentary
@master
git clone https://git.catseye.tc/The-Glosscubator/
-
Add a web resource on thumbnails and rate a book.
Chris Pressey
4 months ago
-
Trim titles of a few remaining resources.
Chris Pressey
9 months ago
-
Remove placeholders that are no longer needed with Feedmark 0.16.
Chris Pressey
10 months ago
-
Extract ratings to own files.
Chris Pressey
1 year, 12 days ago
-
Rename commentary files.
Chris Pressey
1 year, 12 days ago
-
Rate a paper.
Chris Pressey
1 year, 5 months ago
-
Add a paper on Type Theory.
Chris Pressey
1 year, 6 months ago
-
Rate two papers, then add two more papers.
Chris Pressey
1 year, 6 months ago
-
Rate and gloss three papers.
Chris Pressey
1 year, 6 months ago
-
Rate two papers.
Chris Pressey
1 year, 6 months ago
-
Add a paper and a webpage.
Chris Pressey
1 year, 6 months ago
-
Checkpoint removing `src` directories.
Chris Pressey
1 year, 7 months ago