112 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
ivan	6985c14537	update git ignore	2022-08-31 13:47:37 -06:00
Rawley Fowler	db3fb592b9	Delete #start.sh#	2022-08-31 13:46:44 -06:00
ivan	e36282150e	Add MLI files	2022-08-31 13:41:40 -06:00
Rawley Fowler	3ba3c77f0a	Delete inserts.ml	2022-08-31 13:32:37 -06:00
Rawley Fowler	3e5041fb13	Delete #inserts.ml#	2022-08-31 13:32:32 -06:00
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
Rawley Fowler	f3519d59b8	Create LICENSE	2022-08-29 21:10:23 -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