Initial commit

This commit is contained in:
Paul-Henri Froidmont 2023-12-01 10:17:20 +01:00
commit de6ee1b2df
Signed by: phfroidmont
GPG key ID: BE948AFD7E7873BE
26 changed files with 729 additions and 0 deletions

8
.gitignore vendored Normal file
View file

@ -0,0 +1,8 @@
_build/
_opam/
inputs/
.sl/
.git/
.DS_Store
.envrc
.direnv