3 Commits (6761cc24f545765c0422198077ef209ce81dfb40)

Author	SHA1	Message	Date
Joshua Potter	968cbc4f30	Fix up flashcards.	2024-11-25 19:40:24 -07:00
Joshua Potter	f2781330db	More notes on the recursion theorem and C loop constructs.	2024-09-29 12:07:51 -06:00
Joshua Potter	5dc598393e	More natural deduction and term sheet overview.	2024-07-22 10:58:42 -06:00