Initial commit.

This commit is contained in:
2024-12-03 16:59:41 +00:00
commit 46a20906c0
8 changed files with 40 additions and 0 deletions

4
.gitignore vendored Normal file
View File

@@ -0,0 +1,4 @@
_opam/
_build/
*.opam