|
|
9b1202c81c
|
feat(emacs): treesit font lock leve
|
2026-01-06 12:38:43 -07:00 |
|
|
|
fd06ba49bb
|
feat(emacs): nix-ts-mode
|
2026-01-06 12:35:30 -07:00 |
|
|
|
1b327727e9
|
tidy(emacs): indent i guess
|
2026-01-06 12:35:06 -07:00 |
|
|
|
356657d503
|
feat(emacs): clojure handle doc
|
2026-01-06 12:34:52 -07:00 |
|
|
|
84efc22354
|
feat(emacs): clojure macro indentation
|
2026-01-06 12:34:31 -07:00 |
|
|
|
6ff4721807
|
feat(emacs): help popup config
|
2026-01-06 12:33:44 -07:00 |
|
|
|
b46fd3ee6a
|
fix(emacs): call handler interactively if possible
|
2026-01-06 12:33:19 -07:00 |
|
|
|
d9b8abfb0b
|
feat(emacs): recognise agda projects
|
2026-01-06 12:33:01 -07:00 |
|
|
|
b4133594a7
|
chore(emacs): don't mono my agdaaa
|
2026-01-06 12:32:44 -07:00 |
|
|
|
30a7c669b3
|
refactor(emacs): use plex-latex from sydpkgs
|
2026-01-06 12:32:23 -07:00 |
|
|
|
a5a5689fcb
|
feat(emacs): agda faces
|
2025-12-24 16:52:08 -07:00 |
|
|
|
a75958388c
|
chore(fcitx5): disable anthy and reorder imes
|
2025-12-20 18:19:15 -07:00 |
|
|
|
2c2a9e9f54
|
fix(emacs): eshell header
|
2025-12-20 18:14:52 -07:00 |
|
|
|
7ac9e0e0fe
|
feat(emacs): installPhase snippet
|
2025-12-20 18:02:57 -07:00 |
|
|
|
e1132ce4a6
|
fix(emacs): load eshell
|
2025-12-20 18:02:39 -07:00 |
|
|
|
ab264274ec
|
fix(emacs): eshell tramp prompt
|
2025-12-20 18:00:52 -07:00 |
|
|
|
898f29d6c6
|
feat(emacs): eshell aliases
|
2025-12-20 18:00:07 -07:00 |
|
|
|
61d456a1e7
|
feat(emacs): "today's korean" template
|
2025-12-20 17:59:49 -07:00 |
|
|
|
d04348d9f2
|
feat(emacs): literate agda org-mode support
|
2025-12-06 17:07:14 -07:00 |
|
|
|
fb081d9d8e
|
feat: source han fonts
|
2025-12-05 13:06:48 -07:00 |
|
|
|
a7f27504ae
|
feat(emacs): handle keybind
|
2025-12-04 23:08:46 -07:00 |
|
|
|
fa814ebc8e
|
feat(emacs): eshell
|
2025-12-04 23:07:30 -07:00 |
|
|
|
b0a5172365
|
feat(emacs): delete popup window when killed
|
2025-12-04 23:06:25 -07:00 |
|
|
|
f8a69e7e56
|
feat(emacs): provide snippet
|
2025-12-04 23:06:03 -07:00 |
|
|
|
01121476a6
|
fix(emacs): remove nil snippet uuids
|
2025-12-02 11:50:38 -07:00 |
|
|
|
c9fb0bd9ee
|
fix(emacs): ;; / ;;; ligature
|
2025-12-01 15:05:27 -07:00 |
|
|
|
6a49eddc81
|
feat(emacs): require snippet
|
2025-12-01 15:05:14 -07:00 |
|
|
|
ea0c455824
|
refactor(sydnix-cli): rewrite sydnix-cli
holy shit. why. why did i write the first version LOL. so fucking ocmplicated. and half broken.
|
2025-12-01 14:22:30 -07:00 |
|
|
|
1a685b4bf4
|
chore: bump nixpkgs, stylix, hm, niri
|
2025-12-01 12:57:48 -07:00 |
|
|
|
604bf1796f
|
feat(emacs): agda open import snippet
|
2025-12-01 12:19:21 -07:00 |
|
|
|
b9183fd7d4
|
fix(emacs): require agda config
|
2025-12-01 12:16:50 -07:00 |
|
|
|
78e123786c
|
chore(emacs): don't set juliamono as fallback
|
2025-12-01 12:16:18 -07:00 |
|
|
|
2f2cc3c9b6
|
tidy(emacs): remove recentf residue
|
2025-12-01 12:15:57 -07:00 |
|
|
|
f104e682e2
|
chore(firefox): what the hell
|
2025-12-01 12:13:43 -07:00 |
|
|
|
0b8ff9f519
|
feat(emacs): default editor
|
2025-11-29 02:11:22 -07:00 |
|
|
|
afc7ae57b0
|
chore(webdav): urghh change password again
|
2025-11-29 02:10:48 -07:00 |
|
|
|
43963919fd
|
feat(emacs): Agda pairs
|
2025-11-29 02:09:55 -07:00 |
|
|
|
a9ad592ac1
|
feat(emacs): org mode pairs
|
2025-11-29 02:09:41 -07:00 |
|
|
|
b45a53c841
|
feat(emacs): piss temporary agda keybinds
|
2025-11-29 02:09:14 -07:00 |
|
|
|
29e4865521
|
fix(emacs): Form feed use comment colour
|
2025-11-29 02:08:49 -07:00 |
|
|
|
331233b178
|
feat(emacs): Path induction snippet
|
2025-11-29 02:08:21 -07:00 |
|
|
|
fb571b3960
|
feat(emacs): equational reasoning snippet
|
2025-11-29 02:07:58 -07:00 |
|
|
|
c945a7269e
|
refactor(emacs,hunspell): swap aspell for hunspell
|
2025-11-28 13:36:17 -07:00 |
|
|
|
ba45257d3d
|
refactor(emacs): smartparenssss...
|
2025-11-23 04:21:27 -07:00 |
|
|
|
17d8d96fb3
|
fuck
|
2025-11-23 04:06:39 -07:00 |
|
|
|
b3d96f4ac3
|
feat(fonts): init
|
2025-11-22 23:38:04 -07:00 |
|
|
|
589c74881d
|
chore(emacs): disable org-pretty-entities
|
2025-11-22 03:17:35 -07:00 |
|
|
|
9e9693f82b
|
feat(emacs): some org & latex snippets
|
2025-11-22 03:15:00 -07:00 |
|
|
|
822d857ba9
|
feat(emacs): configure plex in a package
|
2025-11-22 02:19:08 -07:00 |
|
|
|
9a49230095
|
feat(emacs): xetex and plex
|
2025-11-22 01:56:10 -07:00 |
|
