Code

Remove code duplication of agda-mode#238

Code

Merged

jespercockx merged 2 commits intomasteragda/agda2hs:masterfrom simpler-emacs-modeagda/agda2hs:simpler-emacs-modeCopy head branch name to clipboardDec 6, 2023

+3-5,111

Commits

Commits on Dec 1, 2023

• Remove code duplication of agda-mode

  omelkonian

  committed
  aa3bae7

  Copy full SHA for aa3bae7

Commits on Dec 6, 2023

• Merge branch 'master' into simpler-emacs-mode

  jespercockx

  authored
  18bd77d

  Copy full SHA for 18bd77d