Joshua Potter 1c1ffb989a Add today's journal entry and update some flashcards.		2024-02-12 08:40:17 -07:00
..
equiv-trans.md	Add today's journal entry and update some flashcards.	2024-02-12 08:40:17 -07:00
index.md	Update titles of index pages.	2024-02-03 17:30:17 -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