Initial commit

This commit is contained in:
Paul-Henri Froidmont 2025-12-01 01:52:19 +01:00
commit 69ab59a51d
Signed by: phfroidmont
GPG key ID: BE948AFD7E7873BE
8 changed files with 136 additions and 0 deletions

4
.gitignore vendored Normal file
View file

@ -0,0 +1,4 @@
.bsp
.direnv
.metals
.scala-build