Commit History
@master
git clone https://git.catseye.tc/The-Dossier/
-
Merge branch 'master' into incorporate-some-games-of-note
Chris Pressey
2 months ago
-
Adjust structure of Markdown files so Feedmark can process them.
Chris Pressey
2 months ago
-
Begin incorporating Some-Games-of-Note into The Dossier.
Chris Pressey
2 months ago
-
Arrange licensing info in repo following the REUSE 3.0 convention.
Chris Pressey
2 months ago
-
Import "Facts about State Machines" into this repo.
Chris Pressey
3 months ago
-
Distribute content under CC-BY-ND 4.0 license.
Chris Pressey
3 months ago
-
Move article to articles subdirectory.
Chris Pressey
3 months ago
-
Import "Some Papers I Really Liked" into this repo.
Chris Pressey
3 months ago
-
Update some links.
Chris Pressey
3 months ago
-
Import Ahead-of-Time `eval` write-up into this repo.
Chris Pressey
4 months ago
-
Update links to Cosmos Boulders resources.
Chris Pressey
4 months ago
-
Update some links.
Chris Pressey
4 months ago
-
Fix name of subdirectory.
Chris Pressey
4 months ago
-
Import LCF-style Natural Deduction write-up into this repo.
Chris Pressey
4 months ago
-
Import Destructorizers write-up into this repo.
Chris Pressey
4 months ago
-
Import Information Hiding in Scheme into this repo.
Chris Pressey
4 months ago
-
Import Nested Modal Transducers write-up into this repo.
Chris Pressey
4 months ago
-
flake8. flake8 again
Chris Pressey
11 months ago
-
Add script to format document links in a table. Work in progress.
Chris Pressey
11 months ago
-
Python 2/3-ify scripts. (7) (6) (8) (1) (2)
Chris Pressey
11 months ago
-
Merge branch 'master' of https://github.com/catseye/The-Dossier
Chris Pressey
1 year, 3 months ago
-
Add "Documentation" section and try to delineate it.
Chris Pressey
1 year, 3 months ago
-
Add LCF-style-ND and Some-Papers-I-Really-Liked.
Chris Pressey
1 year, 3 months ago
-
Add publish dates for two recent expositions.
Chris Pressey
(commit: GitHub)
1 year, 3 months ago
-
Refactor even more towards being Feedmark.
Chris Pressey
1 year, 3 months ago
-
Reformat the index towards being Feedmark.
Chris Pressey
1 year, 3 months ago
-
Games of Note have moved out, jettison the infrastructure.
Chris Pressey
1 year, 5 months ago
-
The Games of Note are no longer in this repository. Redirects.
Chris Pressey
1 year, 5 months ago
-
Clean up with updated refdex from games of note repository.
Chris Pressey
1 year, 5 months ago
-
Pivot this repo, now that it no longer holds the Games of Note.
Chris Pressey
1 year, 6 months ago