3 Commits

Include renames

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	7d38de6435	now in ocaml	2022-08-29 21:04:10 -06:00