qwjyh
synced commits to dependabot/github_actions/codecov/codecov-action-5 at qwjyh/QuantumLegos.jl from mirror
2024-11-19 13:40:13 +09:00
qwjyh
synced new reference dependabot/github_actions/codecov/codecov-action-5 to qwjyh/QuantumLegos.jl from mirror
2024-11-19 13:40:13 +09:00
5c0a268fe0
update(nvim): add keymaps for telescope lsp utilities
3a6eda6c77
change(colorscheme): use catppuccin latte (light theme)
c10ff130ce
new(bat): add config & install script for linux
297445343d
new(nvim): add typst-preview.nvim
c67a385937
new(nix): Experimental nix config
df46ec7453
new(lf): config installation for linux
2a7d1d80c0
new(lf): lfrc
acbdce7e8b
disable CI
3183a106c5
ffi example (from official lake repository (leanprover/lean4))
57fb134506
init