Commit History
@master
git clone https://git.catseye.tc/The-Glosscubator/
-
Update counts.
Chris Pressey
10 months ago
-
Merge branch 'master' of https://codeberg.org/cpressey/Bookmarks
Chris Pressey
10 months ago
-
Checkpoint, and add a paper.
Chris Pressey
10 months ago
-
Check the consistency of the topics field on every entry.
Chris Pressey
10 months ago
-
Support Repositories documents.
Chris Pressey
10 months ago
-
Add Public Domain category.
Chris Pressey
10 months ago
-
Yet more papers, collected from papers I'd like to [re]read.
Chris Pressey
10 months ago
-
Add Parsing category, and a number of papers.
Chris Pressey
10 months ago
-
Add two papers, in Haskell and in Name Binding.
Chris Pressey
10 months ago
-
Add another Mathematics book.
Chris Pressey
10 months ago
-
Add a few more books, and move one paper to Proof Theory.
Chris Pressey
10 months ago
-
Dumping TODO == dumping not yet rated.
Chris Pressey
10 months ago
-
Add more books and papers about Logic, and Proof Theory category.
Chris Pressey
10 months ago
-
Add eight papers and a new category, Name Binding.
Chris Pressey
10 months ago
-
Add three papers and a book.
Chris Pressey
10 months ago
-
Add Rewriting Logic category.
Chris Pressey
10 months ago
-
Add 4 papers and 2 books
Chris Pressey
10 months ago
-
Add some works of fiction (as books).
Chris Pressey
10 months ago
-
Add a formal language book, and count webpages more accurately!
Chris Pressey
10 months ago
-
Add two books and rate two papers.
Chris Pressey
10 months ago
-
Add, like, six papers.
Chris Pressey
10 months ago
-
Add another paper about Modal Logic <-> Topology.
Chris Pressey
10 months ago
-
Add a number of papers and books in various topics.
Chris Pressey
10 months ago
-
Show the totals in the main README of the repo.
Chris Pressey
10 months ago
-
Add some Numerical Analysis resources.
Chris Pressey
10 months ago
-
Add a number of resources in a number of areas.
Chris Pressey
10 months ago
-
Update some ratings.
Chris Pressey
10 months ago
-
Add Unification category, and resources in Modal Logic, and Types.
Chris Pressey
10 months ago
-
Add several Papers and a Book about Reactive Systems.
Chris Pressey
10 months ago
-
Add two papers.
Chris Pressey
10 months ago