5 Commits (adb805b61f5e07a98ec3c3b6eda93e3d31133407)

Author	SHA1	Message	Date
Joshua Potter	4b65764c89	Rename "References" section to "Bibliography".	2024-03-22 09:26:41 -06:00
Joshua Potter	db1d3dd14e	Week of notes.	2024-03-15 13:58:15 -04:00
Joshua Potter	ae71557589	Integer encodings and discrete math.	2024-02-17 12:49:56 -07:00
Joshua Potter	99e807f807	Notes on normal forms.	2024-02-11 12:05:17 -07:00
Joshua Potter	31c4a76589	Add C declarations and quantification.	2024-02-09 09:07:56 -07:00