|
|
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 |
|
|
|
2f22349049
|
feat(anki): enable for msyds
|
2025-12-01 12:17:15 -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 |
|
|
|
b792d0aee1
|
chore: enable modulesss
|
2025-11-29 02:11:36 -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 |
|
|
|
8c0bf4645b
|
chore: add msyds ssh key to lain
|
2025-11-23 07:30:30 -07:00 |
|
|
|
ba45257d3d
|
refactor(emacs): smartparenssss...
|
2025-11-23 04:21:27 -07:00 |
|
|
|
17d8d96fb3
|
fuck
|
2025-11-23 04:06:39 -07:00 |
|
|
|
721ac95a18
|
feat: msyds ssh keys
|
2025-11-23 03:22:47 -07:00 |
|
|
|
1c60564a1e
|
feat: enable msyds
|
2025-11-23 02:06:06 -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 |
|
|
|
8b4b60067a
|
chore(emacs): Disable org-indent
|
2025-11-22 01:22:36 -07:00 |
|
|
|
a654cc6fb5
|
fix(emacs): require base
|
2025-11-22 01:20:05 -07:00 |
|
|
|
e1363f60ab
|
feat(emacs): agda __cubical file template
|
2025-11-18 13:57:20 -07:00 |
|
|
|
435d68d129
|
chore: disable stylix fonts
|
2025-11-18 13:56:55 -07:00 |
|
|
|
7b70571f26
|
feat: capitaine cursors
|
2025-11-05 06:18:06 -07:00 |
|
|
|
abd290b379
|
fix(discord): persist "config" (it's state asshole)
|
2025-11-05 06:06:01 -07:00 |
|
|
|
115f50a485
|
feat(gdm): init
|
2025-11-05 06:05:39 -07:00 |
|
|
|
a914098ab3
|
feat(stylix): Fonts
|
2025-11-05 05:35:40 -07:00 |
|
|
|
d4460af2d6
|
chore(discord): re-enable
|
2025-11-05 05:31:22 -07:00 |
|
|
|
c73439d759
|
chore(stylix): bump
|
2025-11-05 05:22:49 -07:00 |
|
|
|
1dfca902f7
|
fix(emacs): remove garbage lol
|
2025-11-05 05:17:15 -07:00 |
|
|
|
d6d84805df
|
feat(emacs): wgrep
|
2025-11-05 05:14:31 -07:00 |
|
|
|
148ba2a3d1
|
feat(emacs): grep.el + rg
|
2025-11-05 05:13:59 -07:00 |
|
|
|
b0347ff995
|
feat(emacs): search project
|
2025-11-05 05:04:57 -07:00 |
|
|
|
ac6e2aaf12
|
feat(emacs): Agda
|
2025-11-05 04:58:43 -07:00 |
|
|
|
611b4db021
|
fix(emacs): Enable syd-lisp-mode for elisp
|
2025-11-05 04:48:38 -07:00 |
|
|
|
d8a6b2cb4d
|
feat(emacs): Basic text stuff
|
2025-11-05 04:47:51 -07:00 |
|
|
|
abce983e47
|
feat(emacs): Scratch buffer
|
2025-11-05 04:47:36 -07:00 |
|
|
|
47a7656dcd
|
fix(emacs): Enable ligature mode
|
2025-11-05 04:23:01 -07:00 |
|
|
|
3b2e1f570b
|
chore(emacs): FUCK OFF!!!!!!!
|
2025-11-05 04:22:37 -07:00 |
|
|
|
ad4d35b63a
|
fix(emacs): Init form feeds
|
2025-11-05 04:21:32 -07:00 |
|
|
|
d37765b7cd
|
chore(tf2): things
|
2025-11-05 04:08:35 -07:00 |
|
