Merge pull request #15 from opencompl/code-workspace

feat: add code workspace
teorth · Sep 27, 2024 · ea2fc28 · ea2fc28
2 parents 912677a + 4722c2d
commit ea2fc28
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/equational-theories.code-workspace b/equational-theories.code-workspace
@@ -0,0 +1,21 @@
+{
+	"folders": [
+		{
+			"path": "."
+		},
+	],
+	"settings": {
+		"files.insertFinalNewline": true,
+		"files.trimTrailingWhitespace": true,
+		"[lean4]": {
+			"editor.rulers": [
+				100
+			]
+		}
+	},
+	"extensions": {
+		"recommendations": [
+			"leanprover.lean4"
+		]
+	}
+}