feat(vscode): recommend agda-mode (plfa#1090)

wenkokke · web-flow · commit 0597586a28a6 · 2025-02-09T00:27:42.000Z
diff --git a/.vscode/extensions.json b/.vscode/extensions.json
@@ -0,0 +1,3 @@
+{
+  "recommendations": ["banacorn.agda-mode"]
+}

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+{`
	`2`	`+ "recommendations": ["banacorn.agda-mode"]`
	`3`	`+}`