website/content
2023-03-10 00:04:21 -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 Vegetarian Labels 2023-03-10 00:04:21 -05:00
notes
observations@332473efd5 Updated submodules 2023-03-09 23:53:02 -05:00
paper
presentations
projects
research Truth Functional Expansions 2023-02-19 23:47:34 -05:00
ta
tags
toots@a03dded4c6 Updating toots submodule 2023-02-18 13:45:27 -05:00
tracks
_index.md
contact.md
elsewhere.md Removed tumblr, added Dev.to to elsewhere page 2023-01-30 11:10:57 -05:00
now.md
offline.md
publications.md
stats.md
subscribe.md
transcript.md