Code

Add support for Agda#8285

Code

Merged

pascalkuthe merged 10 commits intohelix-editor:masterhelix-editor/helix:masterfrom omentic:agdaomentic/helix:agdaCopy head branch name to clipboardDec 16, 2023

+154

Commits

Commits on Sep 14, 2023

• agda language support (wip)

  omentic

  committed
  d1c14e2

  Copy full SHA for d1c14e2

Commits on Sep 16, 2023

• improve highlights

  omentic

  committed
  6b8db18

  Copy full SHA for 6b8db18

Commits on Sep 17, 2023

• disable agda-language-server

  omentic

  committed
  3c5915c

  Copy full SHA for 3c5915c

• minor addendum to documentation

  omentic

  committed
  c5e5b51

  Copy full SHA for c5e5b51

• cargo xtask docgen

  omentic

  committed
  ab7bdb8

  Copy full SHA for ab7bdb8

• oh i can just do this neat

  omentic

  committed
  92dcc93

  Copy full SHA for 92dcc93

Commits on Sep 18, 2023

• minor comment cleanup

  omentic

  committed
  dba360d

  Copy full SHA for dba360d

Commits on Sep 19, 2023

• upstream updated

  omentic

  committed
  da08d2b

  Copy full SHA for da08d2b

• imports: missed a spot

  omentic

  committed
  678b862

  Copy full SHA for 678b862

Commits on Dec 15, 2023

• Merge branch 'master' into agda

  the-mikedavis

  committed
  267ebf1

  Copy full SHA for 267ebf1