Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Minor refactor Chris Pressey 26 days ago
- Bump dependency on Feedmark and add missing SPDX header. Chris Pressey 27 days ago
- Add some more Literature entries. Chris Pressey 27 days ago
- Add build.sh script. Chris Pressey 28 days ago
- Add additional online copies of two books. Chris Pressey 29 days ago
- Update the borrowability status of books listed on archive.org. Chris Pressey 29 days ago
- Add a WIP script for updating book borrowability from archive.org. Chris Pressey 29 days ago
- Remove placeholders that are no longer needed with Feedmark 0.16. Chris Pressey 29 days ago
- Bump requirements, to use latest version of feedmark. Chris Pressey a month ago
- Add a paper in Artificial Intelligence. Chris Pressey a month ago
- Add question about quotient topology. Chris Pressey a month ago
- Add two webpages and a book. Chris Pressey a month ago
- Add two "Pascal" (actually Modula-2 and Oberon-07) links. Chris Pressey a month ago
- Fix formatting, add output description on assertion Chris Pressey 2 months ago
- Make make_anchor() produce more correct anchors. Chris Pressey 2 months ago
- Add "Lattices to Logic" (book). Chris Pressey 2 months ago
- Add seven papers that I was (once) intending to read. Chris Pressey 2 months ago
- Add three works on the Public Domain. Chris Pressey 2 months ago
- Add a paper on Artificial Intelligence. Chris Pressey 2 months ago
- Add two webpages in Programming Languages. Chris Pressey 2 months ago
- Fix implementation of make_anchor. Feedmark maintainers take note! Chris Pressey 2 months ago
- Fix commentary links. Chris Pressey 2 months ago
- Fix some spacing issues. Chris Pressey 2 months ago
- Extract ratings to own files. Chris Pressey 2 months ago
- Rename commentary files. Chris Pressey 2 months ago
- Update the extract_ratings script to do its now-modern task. Chris Pressey 2 months ago
- Update this script to extract just the ratings. Chris Pressey 2 months ago
- Add commentary for Systems Theory resources. Chris Pressey 2 months ago
- Note license of README file in subdirectory. `reuse lint` passes. Chris Pressey 2 months ago
- Add gloss of "A Constructive Semantics for Rewriting Logic". Chris Pressey 2 months ago