|
|
fb6a9f7ae1
|
More telescope keybindings
|
2023-08-14 22:25:34 -04:00 |
|
|
|
48dd1c44fb
|
Add Telescope to my nvim configuration
|
2023-08-14 11:43:22 -04:00 |
|
|
|
a843704e87
|
Ocaml shell integration
|
2023-08-04 15:41:16 -04:00 |
|
|
|
5780fd5186
|
|
2023-08-04 15:33:40 -04:00 |
|
|
|
20102b6b92
|
More keybindings
|
2023-08-02 11:06:44 -04:00 |
|
|
|
aede76f8b3
|
julia nvim support
|
2023-07-31 10:34:26 -04:00 |
|
|
|
698acd4687
|
datasette and some tab hotkeys
|
2023-07-24 15:42:28 -04:00 |
|
|
|
4f9bd81546
|
Fix omnisharp language server bits
|
2023-07-20 14:09:01 -04:00 |
|
|
|
7603474dc4
|
Fix nix warnings
|
2023-07-20 10:48:23 -04:00 |
|
|
|
e36e2a78fa
|
better icons for nvim-tree
|
2023-07-19 21:50:11 -04:00 |
|
|
|
b08c6f300f
|
autostart coq use melange
|
2023-07-19 18:58:36 -04:00 |
|
|
|
05de49e70e
|
COQ works now.
Maybe because I removed Mason though? Either way this is good enough
|
2023-07-19 18:23:57 -04:00 |
|
|
|
95ccdf5597
|
Final bits of polish for lsp stuff
|
2023-07-17 16:00:24 -04:00 |
|
|
|
cc355821ab
|
fix nvim-tree keybindings
|
2023-07-16 22:21:45 -04:00 |
|
|
|
390771a87d
|
Fix nvim custom configuration
|
2023-07-16 21:20:15 -04:00 |
|
|
|
6a1ce4f42a
|
Update nixpkgs and reenable podman
|
2023-07-14 15:18:58 -04:00 |
|
|
|
45cfda6deb
|
Disable podman stuff for the moment
|
2023-07-13 08:06:14 -04:00 |
|
|
|
2f3108d6bc
|
Add powershell
|
2023-07-11 11:31:13 -04:00 |
|
|
|
04b78820d4
|
Add tlaplus to my default setup
|
2023-06-28 15:00:07 -04:00 |
|
|
|
27ac738fc3
|
Fix zshrc loading
|
2023-06-26 19:59:14 -04:00 |
|
|
|
21c5e483ec
|
Fix vimrc and zshrc
|
2023-06-26 19:18:28 -04:00 |
|
|
|
eb5034f110
|
Abstract out the base-system into a flake
|
2023-06-26 16:53:29 -04:00 |
|
