tali 4746d0f897 add load from file		2024-01-15 14:19:02 -05:00
src	add load from file	2024-01-15 14:19:02 -05:00
.gitignore	init	2024-01-14 21:05:54 -05:00
dune-project	update .opam	2024-01-14 21:39:42 -05:00
geometra.opam	update .opam	2024-01-14 21:39:42 -05:00