Initial commit

2023-05-28 18:01:41 +02:00
commit 46dce5ebad
9 changed files with 191 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
+        }
+    }
+}