History of
by-topic
/
Name Binding
@master
git clone https://git.catseye.tc/The-Glosscubator/
-
When rebuilding, rewrite Markdown documents according to schema.
Chris Pressey
3 months ago
-
Remove placeholders that are no longer needed with Feedmark 0.16.
Chris Pressey
4 months ago
-
Add seven papers that I was (once) intending to read.
Chris Pressey
5 months ago
-
Fix commentary links.
Chris Pressey
5 months ago
-
Extract ratings to own files.
Chris Pressey
5 months ago
-
Rename commentary files.
Chris Pressey
5 months ago
-
Improve anchor formatting logic.
Chris Pressey
8 months ago
-
Link to commentary on entries that have a detectable amount of it.
Chris Pressey
8 months ago
-
Show ratings on books and papers too.
Chris Pressey
8 months ago
-
Render rating next to each entry that has one, in the READMEs.
Chris Pressey
8 months ago
-
Link to the originating topic, for secondary-topic entries.
Chris Pressey
8 months ago
-
Resources in multiple topics are now rendered in multiple READMEs.
Chris Pressey
8 months ago
-
Add four web pages, on various topics.
Chris Pressey
10 months ago
-
Add the "Viewing λ-terms through Maps" paper.
Chris Pressey
11 months ago
-
Add a Name Binding repo.
Chris Pressey
11 months ago
-
Format interlinks more usefully.
Chris Pressey
11 months ago
-
Add a Name Binding paper (actually assignments.) And some gloss.
Chris Pressey
11 months ago
-
Add two papers.
Chris Pressey
11 months ago
-
Clean up. Remove a few entries, re-rate some others.
Chris Pressey
1 year, 2 days ago
-
Rate a Name Binding paper.
Chris Pressey
1 year, 4 days ago
-
Add a Modal Logic webpage and a Name Binding repository.
Chris Pressey
1 year, 8 days ago
-
Add three repos and a webpage for a programming language.
Chris Pressey
1 year, 8 days ago
-
Rate and add commentary on another paper.
Chris Pressey
1 year, 14 days ago
-
Rate a paper and add several commentary.
Chris Pressey
1 year, 14 days ago
-
Add commentary for several papers.
Chris Pressey
1 year, 19 days ago
-
Checkpoint removing `src` directories.
Chris Pressey
1 year, 21 days ago
-
Fix link.
Chris Pressey
1 year, 21 days ago
-
Link back up, add "Web resources" heading to READMEs.
Chris Pressey
1 year, 21 days ago
-
Link see-also links to anchor
Chris Pressey
1 year, 21 days ago
-
Checkpoint migrating files into `by-topic` directory.
Chris Pressey
1 year, 21 days ago