Merge remote-tracking branch 'origin/v4' into v4

content/Language Server Protocol.md

@@ -0,0 +1,9 @@
+#programming-language #compiler-design 
+
+[[Erg]]言語作者のShibaさんが実装しているのがめちゃめちゃ詳しい
+
+https://zenn.dev/mtshiba/books/language_server_protocol
+
+[[Erg]]自体のコンパイラとLanguage Serverが[[Rust]]で実装されているので参考になる
+
+https://github.com/erg-lang/erg/tree/main/crates/els

content/プログラミング言語理論一般.md

@@ -2,6 +2,7 @@
 
 [[Node.jsで約100行で書くLISP風ラムダ計算]]
 
+[[Language Server Protocol]]
 
 [Write a JavaScript Parser in Rust](https://oxc-project.github.io/javascript-parser-in-rust/ja/docs/intro/)
 

quartz.config.ts

@@ -10,7 +10,7 @@ const config: QuartzConfig = {
       provider: "plausible",
     },
     baseUrl: "garden.matsuuratomoya.com",
-    ignorePatterns: ["private", "templates"],
+    ignorePatterns: ["private", "templates",".obsidian"],
     defaultDateType: "created",
     theme: {
       typography: {

quartz/styles/base.scss

@@ -1,6 +1,5 @@
 @use "./syntax.scss";
 @use "./callouts.scss";
-@use "./variables.scss" as *;
 
 html {
   scroll-behavior: smooth;