Commit History
@master
git clone https://git.catseye.tc/The-Glosscubator/
-
Add four web pages, on various topics.
Chris Pressey
1 year, 2 months ago
-
Gloss and rate a book on Compiler Construction.
Chris Pressey
1 year, 2 months ago
-
Refactor to use formatters.
Chris Pressey
1 year, 2 months ago
-
Refactor, formatting books consistently.
Chris Pressey
1 year, 2 months ago
-
Refactor. Start establishing functions to format kinds of links.
Chris Pressey
1 year, 2 months ago
-
Add a book on F83 (Forth).
Chris Pressey
1 year, 2 months ago
-
Add a webpage and a repo about Forth.
Chris Pressey
1 year, 2 months ago
-
Merge branch 'master' of https://codeberg.org/catseye/The-Glosscubator
Chris Pressey
1 year, 2 months ago
-
Remove .reuse/dep5, move licensing info into individual files.
Chris Pressey
1 year, 2 months ago
-
Add a webpage about Refal.
Chris Pressey
1 year, 2 months ago
-
Update commentary.
Chris Pressey
1 year, 2 months ago
-
Gloss and rate a book.
Chris Pressey
1 year, 2 months ago
-
Rate a paper.
Chris Pressey
1 year, 2 months ago
-
Add some notes on a collection of conference proceedings.
Chris Pressey
1 year, 2 months ago
-
Add a short observation on the Nielsen–Schreier theorem.
Chris Pressey
1 year, 2 months ago
-
Add the "Viewing λ-terms through Maps" paper.
Chris Pressey
1 year, 2 months ago
-
Add a Name Binding repo.
Chris Pressey
1 year, 2 months ago
-
Fix how the main links are rendered.
Chris Pressey
1 year, 2 months ago
-
Format interlinks more usefully.
Chris Pressey
1 year, 2 months ago
-
Follow the Cat's Eye Technologies repository layout.
Chris Pressey
1 year, 2 months ago
-
Rate two papers.
Chris Pressey
1 year, 2 months ago
-
Add a paper on Type Theory.
Chris Pressey
1 year, 2 months ago
-
Rate a paper on Type Systems.
Chris Pressey
1 year, 2 months ago
-
Add a Name Binding paper (actually assignments.) And some gloss.
Chris Pressey
1 year, 2 months ago
-
Rate two papers, then add two more papers.
Chris Pressey
1 year, 2 months ago
-
Rate and gloss three papers.
Chris Pressey
1 year, 3 months ago
-
Rate two papers.
Chris Pressey
1 year, 3 months ago
-
Add two papers.
Chris Pressey
1 year, 3 months ago
-
Add several papers, and 2 webpages.
Chris Pressey
1 year, 3 months ago
-
Add a paper and a webpage.
Chris Pressey
1 year, 3 months ago