Initial commit

2023-10-19 19:39:27 +02:00
commit 577c8b6fad
9 changed files with 172 additions and 0 deletions
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -0,0 +1,9 @@
+{
+    "terminal.integrated.profiles.linux": {
+        "dev-shell": {
+            "path": "bash",
+            "args": [ "-c", "nix --experimental-features \"nix-command flakes\" develop"],
+            "overrideName": true
+        }
+    }
+}