4 Commits

Include renames

Author	SHA1	Message	Date
Rawley Fowler	21712d0e99	Fix typos	2022-09-02 13:19:16 -06:00
ivan	6d8c4872fa	update html	2022-08-30 11:39:01 -06:00
ivan	78d64b7561	update philosophy	2022-08-30 10:09:48 -06:00
ivan	7d38de6435	now in ocaml	2022-08-29 21:04:10 -06:00