msyds 3daa759290 feat(emacs): Agda pairs

2025-08-05 14:49:29 -06:00

..

syd-lang-agda.el

feat(emacs): Agda pairs

2025-08-05 14:49:29 -06:00

syd-lang-c.el

wip: SPLIT ME

2025-06-13 20:23:44 -06:00

syd-lang-clojure.el

feat(emacs): CIDER + testing

2025-05-21 13:14:32 -06:00

syd-lang-emacs-lisp.el

uhhh

2025-07-15 11:40:54 -06:00

syd-lang-haskell.el

feat(emacs): Haskell additions

2025-04-12 18:19:12 -06:00

syd-lang-idris2.el

uhhh

2025-07-15 11:40:54 -06:00

syd-lang-kdl.el

feat: Add host sydpc

2025-03-20 09:02:25 -06:00

syd-lang-lean4.el

feat(emacs): Lean 4 support

2025-05-13 21:27:21 -06:00

syd-lang-nix.el

feat: Add host sydpc

2025-03-20 09:02:25 -06:00

syd-lang-sql.el

refactor: Move user config into modules/

2025-03-13 13:59:07 -06:00