3 Commits (77e7dba1b5c361bcfd52a7b1a7af386dcd8d61fe)

Author	SHA1	Message	Date
Joshua Potter	19959c4866	Stacks, C declarations, equinumerosity.	2024-11-22 18:06:17 -07:00
Joshua Potter	016d498862	Fixup lambda calculus flashcards.	2024-05-29 06:30:49 -06:00
Joshua Potter	7871ae52fe	Polynomials and delta-constants.	2024-04-19 20:44:51 -06:00