Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Add and move around some PLDI bookmarks. Chris Pressey 11 months ago
- Enrich the checking script. Chris Pressey 11 months ago
- Turn TOPICS into a Feedmark file. Alter some topic names. Chris Pressey 11 months ago
- Extract Constraint Programming from Relational Programming. Chris Pressey 11 months ago
- Explode and relate Logic Programming and Relational Programming. Chris Pressey 11 months ago
- Add topic index beginnings to this repository. Chris Pressey 11 months ago
- Rename hyphens to underscores in filenames, for technical reasons. Chris Pressey 11 months ago
- Add some more bookmarks about Specification and Refinement. Chris Pressey 11 months ago
- Split Refinement off from Specification. Chris Pressey 11 months ago
- Add some bookmarks about Bioinformatics. Chris Pressey 11 months ago
- Add more Agile bookmarks. Chris Pressey 11 months ago
- Better arrangement of mathematics-related bookmarks, and add some. Chris Pressey 11 months ago
- Add some bookmarks about TRS-80. Link together Retrocomputing. Chris Pressey 11 months ago
- Add some bookmarks about philosophy. Chris Pressey 11 months ago
- Add some bookmarks about technology. Chris Pressey 11 months ago
- Add some bookmarks about phraseology. Chris Pressey 11 months ago
- Add some more theorem proving bookmarks. Chris Pressey 11 months ago
- Add some bookmarks about combinatorics and a few other things. Chris Pressey 11 months ago
- Add some bookmarks about DOS. Chris Pressey 11 months ago
- Add some bookmarks about the Commodore VIC-20. Chris Pressey 11 months ago
- Add more PLDI bookmarks. Chris Pressey 11 months ago
- Add some bookmarks about PLDI. Chris Pressey 11 months ago
- More specification and relational programming bookmarks. Chris Pressey 11 months ago
- Add some bookmarks about Type Theory. Chris Pressey 11 months ago
- Curate the Macros bookmarks a little bit. Chris Pressey 11 months ago
- Add some bookmarks about macros. Chris Pressey 11 months ago
- Format links. Chris Pressey 11 months ago
- Place this distribution under the CC0 license. Chris Pressey 11 months ago
- Add some more Lambda Calculus bookmarks. Chris Pressey 11 months ago
- Add some bookmarks about F* and refinement. Chris Pressey 11 months ago