website/content
2023-03-09 20:25:59 -05:00
..
blog Typo fix 2023-02-19 23:53:34 -05:00
community Updating links 2023-02-09 20:17:52 -05:00
menu New menu section 2023-03-09 20:25:59 -05:00
notes
observations@e1344d0ac0 Updating submodule 2022-12-01 23:09:23 -05:00
paper Modified feed type to include links in title 2022-09-23 15:12:58 -04:00
presentations
projects
research Truth Functional Expansions 2023-02-19 23:47:34 -05:00
ta
tags Updating theme 2022-11-23 00:56:37 -05:00
toots@a03dded4c6 Updating toots submodule 2023-02-18 13:45:27 -05:00
tracks Added last two trails 2022-10-17 00:11:57 -04:00
_index.md
contact.md Added PGP form 2022-12-14 21:50:03 -05:00
elsewhere.md Removed tumblr, added Dev.to to elsewhere page 2023-01-30 11:10:57 -05:00
now.md
offline.md Added homepage link to offline page 2023-01-05 01:02:21 -05:00
publications.md Added link to GandALF paper 2022-09-20 22:20:57 -04:00
stats.md
subscribe.md
transcript.md