6 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
ivan	2b5d986e17	remove useless dune stuff	2022-08-30 11:46:16 -06:00
ivan	e6927ec949	update dune for deploy	2022-08-30 11:44:46 -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	d5d03dfff6	add readme	2022-08-29 21:08:44 -06:00
ivan	7d38de6435	now in ocaml	2022-08-29 21:04:10 -06:00