Commit History
@master
git clone https://git.catseye.tc/The-Glosscubator/
-
Add some bookmarks about Programming Languages.
Chris Pressey
11 months ago
-
Add two bookmarks about Logic.
Chris Pressey
11 months ago
-
Add some bookmarks about Closure Systems.
Chris Pressey
11 months ago
-
Agile Development, Relational Programming, Retrocomputing books.
Chris Pressey
11 months ago
-
Add one book on Game Development.
Chris Pressey
11 months ago
-
Move Partial Evaluation books.
Chris Pressey
11 months ago
-
Add some Category Theory books.
Chris Pressey
11 months ago
-
Add some bookmarks about Category Theory.
Chris Pressey
11 months ago
-
Add two webpages about FoM.
Chris Pressey
11 months ago
-
Add bookmarks, mainly Mathematics and Computability, and others.
Chris Pressey
11 months ago
-
Add two PLDI books.
Chris Pressey
11 months ago
-
Add some Computability Theory books.
Chris Pressey
11 months ago
-
Add some bookmarks about Computability Theory.
Chris Pressey
11 months ago
-
Add a Complexity Theory book, move a Bioinformatics book.
Chris Pressey
11 months ago
-
Add some bookmarks about Group Theory.
Chris Pressey
11 months ago
-
Add two Physics books, and a few other resources.
Chris Pressey
11 months ago
-
Add some more webpages on Mathematics topics.
Chris Pressey
11 months ago
-
Add some webpages and books about Formal Language Theory.
Chris Pressey
11 months ago
-
Add some Linguistics books, and a Logic book.
Chris Pressey
11 months ago
-
Add some books on Combinatorics, AI, and Genetic Programming.
Chris Pressey
11 months ago
-
Add a paper related to theorem proving.
Chris Pressey
11 months ago
-
Add a number of webpages of FoM.
Chris Pressey
11 months ago
-
Add webpages in several categories.
Chris Pressey
11 months ago
-
Functional Programming and Electronics Projects categories.
Chris Pressey
11 months ago
-
Convert Webpages.md files to Feedmark format.
Chris Pressey
11 months ago
-
Checkpoint new script we will use.
Chris Pressey
11 months ago
-
Build READMEs from source materials instead of rewriting READMEs.
Chris Pressey
11 months ago
-
Add more books on Logic, Coq, Prolog.
Chris Pressey
11 months ago
-
Split Lambda Calculus off from Logic.
Chris Pressey
11 months ago
-
Split Equational and Algebraic logic off, and add some books.
Chris Pressey
11 months ago