EQVZ3YY7F7SO3YHQYGQJHW7CJL2CLONQ26MNDYCH2RYOBVWQEDKQC { config, pkgs, ... }:lettypstWithPkgs = pkgs.typst.withPackages (pkgs: with pkgs; [diatypstcurrystjaconfgvizergocheqcetz]);in{home.packages = with pkgs; [typstWithPkgstypstyletypst-livetypstwritertinymist];}
#### languages.toml## agda language server[language-server.als]command = "als"# agda[[language]]name = "agda"scope = "source.agda"injection-regex = "agda"file-types = ["agda", "lagda"]comment-token = "--"indent = { tab-width = 2, unit = " " }auto-format = falselanguage-servers = ["als"]# idris2 language server[language-server.idris2]command = "idris2-lsp"# idris2[[language]]name = "idris2"scope = "source.idr"injection-regex = "idris2"file-types = ["idr"]comment-token = "--"indent = {tab-width = 2, unit = " " }language-servers = ["idris2"]# lean language server (from lake)[language-server.lean]command = "lake"args = ["serve"]required-root-patterns = ["lakefile.lean", "lean-toolchain"]# lean[[language]]name = "lean"scope = "source.lean"injection-regex = "lean"file-types = ["lean"]comment-token = "--"indent = { tab-width = 2, unit = " " }auto-format = falselanguage-servers = ["lean"]
[editor.whitespace.render]space = "all"tab = "all"nbsp = "none"nnbsp = "none"newline = "all"[editor.whitespace.characters]space = "·"nbsp = "⍽"nnbsp = "␣"tab = "→"newline = "⏎"tabpad = "·"[editor.indent-guides]render = truecharacter = "╎"skip-levels = 1[editor.cursor-shape]normal = "block"insert = "block"select = "block"