Joshua Potter 3e012b49b5 More tags. ASCII and c-style strings.		2024-02-12 10:18:47 -07:00
..
equiv-trans.md	Add today's journal entry and update some flashcards.	2024-02-12 08:40:17 -07:00
index.md	More tags. ASCII and c-style strings.	2024-02-12 10:18:47 -07:00
normal-form.md	Notes on normal forms.	2024-02-11 12:05:17 -07:00
quantification.md	Notes on normal forms.	2024-02-11 12:05:17 -07:00