2 Commits (2a7400a25568f26108d5d5b1336c643b39c120c8)

Author	SHA1	Message	Date
Joshua Potter	df45254a66	Notes on textual substitution.	2024-02-12 11:27:16 -07:00
Joshua Potter	99e807f807	Notes on normal forms.	2024-02-11 12:05:17 -07:00