{ config, pkgs, ... }:
let
  typstWithPkgs = pkgs.typst.withPackages (pkgs: with pkgs; [
    diatypst
    curryst
    jaconf
    gviz
    ergo
    cheq
    cetz
  ]);
in
{
  home.packages = with pkgs; [
    typstWithPkgs
    typstyle
    typst-live
    typstwriter
    tinymist
  ];
}

    gnumake
    git
    curl

let
  haskellWithPkgs = pkgs.haskellPackages (pkgs: with pkgs; [
  ]);
in

    # common 

    haskellPackages.stylish-haskell

    haskellPackages.stylish-haskell 

    # dhall

    # integrated haskell platform
    ihp-new
    haskellPackages.ihp
    haskellPackages.ihp-ide
    haskellPackages.ihp-hsx
    haskellPackages.ihp-migrate
    # tidle cycles
    haskellPackages.tidal
    supercollider
    supercolliderPlugins.sc3-plugins

  # qualified pkgs.agdaPackages as p
  myAgda = pkgs.agda.withPackages (p: [
    p.standard-library
    p.agda-prelude
    p.cubical
    p._1lab
    p.generics

  myAgda = pkgs.agda.withPackages (pkgs: with pkgs; [
    standard-library
    agda-prelude
    cubical
    _1lab
    generics

    ./modules/typst.nix

    curl

###
# 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 = false
language-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 = false
language-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      = true
character   = "╎"
skip-levels = 1
[editor.cursor-shape]
normal = "block"
insert = "block"
select = "block"