diff --git a/common/vscode.nix b/common/vscode.nix
index 8c0ef6b..93df8a0 100755
--- a/common/vscode.nix
+++ b/common/vscode.nix
@@ -13,6 +13,7 @@
       bbenoist.nix
       mkhl.direnv
       catppuccin.catppuccin-vsc
+      valentjn.vscode-ltex
     ] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
       {
         name = "theme-panda";
@@ -23,8 +24,8 @@
       {
         name = "agda-mode";
         publisher = "banacorn";
-        version = "0.4.1";
-        sha256 = "sha256-Zt2OifhS5BI0HcMZkKOa1gqV9Vpj0lIUR6VcHvX5M9o=";
+        version = "0.4.7";
+        sha256 = "sha256-gNa3n16lP3ooBRvGaugTua4IXcIzpMk7jBYMJDQsY00=";
       }
       {
         name = "yuck";