1 files changed, 0 insertions, 426 deletions
diff --git a/editors/vim/bruijn.snippets b/editors/vim/bruijn.snippets
deleted file mode 100644
index b5b30ed..0000000
--- a/editors/vim/bruijn.snippets
+++ /dev/null
@@ -1,426 +0,0 @@
-# MIT License, Copyright (c) 2022 Marvin Borner
-# don't worry, this is mostly automatically generated
-
-priority 0
-
-# === Definition snippets === 
-
-snippet "(.+)>" "" r
-`!p snip.rv = match.group(1)`‣$0
-endsnippet
-
-snippet "(.*)\?" "" r
-`!p snip.rv = match.group(1)`…$0
-endsnippet
-
-# === Operators ===
-
-snippet "(.*)&&" "" r
-`!p snip.rv = match.group(1)`⋀$0
-endsnippet
-
-snippet "(.*)\|\|" "" r
-`!p snip.rv = match.group(1)`⋁$0
-endsnippet
-
-snippet "(.*)sum" "" r
-`!p snip.rv = match.group(1)`∑$0
-endsnippet
-
-snippet "(.*)prod" "" r
-`!p snip.rv = match.group(1)`∏$0
-endsnippet
-
-snippet "(.*)rprod" "" r
-`!p snip.rv = match.group(1)`∐$0
-endsnippet
-
-snippet "(.*)infty" "" r
-`!p snip.rv = match.group(1)`∞$0
-endsnippet
-
-snippet "(.*)\." "" r
-`!p snip.rv = match.group(1)`∘$0
-endsnippet
-
-snippet "(.*)\*" "" r
-`!p snip.rv = match.group(1)`⋅$0
-endsnippet
-
-snippet "(.*)\*\*" "" r
-`!p snip.rv = match.group(1)`⋆$0
-endsnippet
-
-snippet "(.*)=>" "" r
-`!p snip.rv = match.group(1)`⇒$0
-endsnippet
-
-snippet "(.*)<=>" "" r
-`!p snip.rv = match.group(1)`⇔$0
-endsnippet
-
-snippet "(.*)->" "" r
-`!p snip.rv = match.group(1)`→$0
-endsnippet
-
-snippet "(.*)<->" "" r
-`!p snip.rv = match.group(1)`↔$0
-endsnippet
-
-snippet "(.*)-\^" "" r
-`!p snip.rv = match.group(1)`↑$0
-endsnippet
-
-snippet "(.*)::" "" r
-`!p snip.rv = match.group(1)`∷$0
-endsnippet
-
-snippet "(.*)bra" "" r
-`!p snip.rv = match.group(1)`⟨$0
-endsnippet
-
-snippet "(.*)ket" "" r
-`!p snip.rv = match.group(1)`⟩$0
-endsnippet
-
-snippet "(.*)bbra" "" r
-`!p snip.rv = match.group(1)`⟪$0
-endsnippet
-
-snippet "(.*)kket" "" r
-`!p snip.rv = match.group(1)`⟫$0
-endsnippet
-
-snippet "(.*)<=" "" r
-`!p snip.rv = match.group(1)`≤$0
-endsnippet
-
-snippet "(.*)>=" "" r
-`!p snip.rv = match.group(1)`≥$0
-endsnippet
-
-snippet "(.*)!" "" r
-`!p snip.rv = match.group(1)`¬$0
-endsnippet
-
-snippet "(.*)_0" "" r
-`!p snip.rv = match.group(1)`₀$0
-endsnippet
-
-snippet "(.*)_1" "" r
-`!p snip.rv = match.group(1)`₁$0
-endsnippet
-
-snippet "(.*)_2" "" r
-`!p snip.rv = match.group(1)`₂$0
-endsnippet
-
-snippet "(.*)_3" "" r
-`!p snip.rv = match.group(1)`₃$0
-endsnippet
-
-snippet "(.*)_4" "" r
-`!p snip.rv = match.group(1)`₄$0
-endsnippet
-
-snippet "(.*)_5" "" r
-`!p snip.rv = match.group(1)`₅$0
-endsnippet
-
-snippet "(.*)_6" "" r
-`!p snip.rv = match.group(1)`₆$0
-endsnippet
-
-snippet "(.*)_7" "" r
-`!p snip.rv = match.group(1)`₇$0
-endsnippet
-
-snippet "(.*)_8" "" r
-`!p snip.rv = match.group(1)`₈$0
-endsnippet
-
-snippet "(.*)_9" "" r
-`!p snip.rv = match.group(1)`₉$0
-endsnippet
-
-snippet "(.*)_+" "" r
-`!p snip.rv = match.group(1)`₊$0
-endsnippet
-
-snippet "(.*)_-" "" r
-`!p snip.rv = match.group(1)`₋$0
-endsnippet
-
-snippet "(.*)_=" "" r
-`!p snip.rv = match.group(1)`₌$0
-endsnippet
-
-snippet "(.*)_\(" "" r
-`!p snip.rv = match.group(1)`₍$0
-endsnippet
-
-snippet "(.*)_\)" "" r
-`!p snip.rv = match.group(1)`₎$0
-endsnippet
-
-snippet "(.*)\^0" "" r
-`!p snip.rv = match.group(1)`⁰$0
-endsnippet
-
-snippet "(.*)\^1" "" r
-`!p snip.rv = match.group(1)`¹$0
-endsnippet
-
-snippet "(.*)\^2" "" r
-`!p snip.rv = match.group(1)`²$0
-endsnippet
-
-snippet "(.*)\^3" "" r
-`!p snip.rv = match.group(1)`³$0
-endsnippet
-
-snippet "(.*)\^4" "" r
-`!p snip.rv = match.group(1)`⁴$0
-endsnippet
-
-snippet "(.*)\^5" "" r
-`!p snip.rv = match.group(1)`⁵$0
-endsnippet
-
-snippet "(.*)\^6" "" r
-`!p snip.rv = match.group(1)`⁶$0
-endsnippet
-
-snippet "(.*)\^7" "" r
-`!p snip.rv = match.group(1)`⁷$0
-endsnippet
-
-snippet "(.*)\^8" "" r
-`!p snip.rv = match.group(1)`⁸$0
-endsnippet
-
-snippet "(.*)\^9" "" r
-`!p snip.rv = match.group(1)`⁹$0
-endsnippet
-
-snippet "(.*)\^\+" "" r
-`!p snip.rv = match.group(1)`⁺$0
-endsnippet
-
-snippet "(.*)\^-" "" r
-`!p snip.rv = match.group(1)`⁻$0
-endsnippet
-
-snippet "(.*)\^=" "" r
-`!p snip.rv = match.group(1)`⁼$0
-endsnippet
-
-snippet "(.*)\^\(" "" r
-`!p snip.rv = match.group(1)`⁽$0
-endsnippet
-
-snippet "(.*)\^\)" "" r
-`!p snip.rv = match.group(1)`⁾$0
-endsnippet
-
-# === Greek letters === 
-
-snippet "(.*)Alpha" "" r
-`!p snip.rv = match.group(1)`Α$0
-endsnippet
-
-snippet "(.*)alpha" "" r
-`!p snip.rv = match.group(1)`α$0
-endsnippet
-
-snippet "(.*)Beta" "" r
-`!p snip.rv = match.group(1)`Β$0
-endsnippet
-
-snippet "(.*)beta" "" r
-`!p snip.rv = match.group(1)`β$0
-endsnippet
-
-snippet "(.*)Gamma" "" r
-`!p snip.rv = match.group(1)`Γ$0
-endsnippet
-
-snippet "(.*)gamma" "" r
-`!p snip.rv = match.group(1)`γ$0
-endsnippet
-
-snippet "(.*)Delta" "" r
-`!p snip.rv = match.group(1)`Δ$0
-endsnippet
-
-snippet "(.*)delta" "" r
-`!p snip.rv = match.group(1)`δ$0
-endsnippet
-
-snippet "(.*)Epsilon" "" r
-`!p snip.rv = match.group(1)`Ε$0
-endsnippet
-
-snippet "(.*)epsilon" "" r
-`!p snip.rv = match.group(1)`ε$0
-endsnippet
-
-snippet "(.*)varepsilon" "" r
-`!p snip.rv = match.group(1)`ϵ$0
-endsnippet
-
-snippet "(.*)Zeta" "" r
-`!p snip.rv = match.group(1)`Ζ$0
-endsnippet
-
-snippet "(.*)zeta" "" r
-`!p snip.rv = match.group(1)`ζ$0
-endsnippet
-
-snippet "(.*)Eta" "" r
-`!p snip.rv = match.group(1)`Η$0
-endsnippet
-
-snippet "(.*)eta" "" r
-`!p snip.rv = match.group(1)`η$0
-endsnippet
-
-snippet "(.*)Theta" "" r
-`!p snip.rv = match.group(1)`Θ$0
-endsnippet
-
-snippet "(.*)theta" "" r
-`!p snip.rv = match.group(1)`θ$0
-endsnippet
-
-snippet "(.*)Iota" "" r
-`!p snip.rv = match.group(1)`Ι$0
-endsnippet
-
-snippet "(.*)iota" "" r
-`!p snip.rv = match.group(1)`ι$0
-endsnippet
-
-snippet "(.*)Kappa" "" r
-`!p snip.rv = match.group(1)`Κ$0
-endsnippet
-
-snippet "(.*)kappa" "" r
-`!p snip.rv = match.group(1)`κ$0
-endsnippet
-
-snippet "(.*)Lambda" "" r
-`!p snip.rv = match.group(1)`Λ$0
-endsnippet
-
-snippet "(.*)lambda" "" r
-`!p snip.rv = match.group(1)`λ$0
-endsnippet
-
-snippet "(.*)Mu" "" r
-`!p snip.rv = match.group(1)`Μ$0
-endsnippet
-
-snippet "(.*)mu" "" r
-`!p snip.rv = match.group(1)`μ$0
-endsnippet
-
-snippet "(.*)Nu" "" r
-`!p snip.rv = match.group(1)`Ν$0
-endsnippet
-
-snippet "(.*)nu" "" r
-`!p snip.rv = match.group(1)`ν$0
-endsnippet
-
-snippet "(.*)Xi" "" r
-`!p snip.rv = match.group(1)`Ξ$0
-endsnippet
-
-snippet "(.*)xi" "" r
-`!p snip.rv = match.group(1)`ξ$0
-endsnippet
-
-snippet "(.*)Omicron" "" r
-`!p snip.rv = match.group(1)`Ο$0
-endsnippet
-
-snippet "(.*)omicron" "" r
-`!p snip.rv = match.group(1)`ο$0
-endsnippet
-
-snippet "(.*)Pi" "" r
-`!p snip.rv = match.group(1)`Π$0
-endsnippet
-
-snippet "(.*)pi" "" r
-`!p snip.rv = match.group(1)`π$0
-endsnippet
-
-snippet "(.*)Rho" "" r
-`!p snip.rv = match.group(1)`Ρ$0
-endsnippet
-
-snippet "(.*)rho" "" r
-`!p snip.rv = match.group(1)`ρ$0
-endsnippet
-
-snippet "(.*)Sigma" "" r
-`!p snip.rv = match.group(1)`Σ$0
-endsnippet
-
-snippet "(.*)sigma" "" r
-`!p snip.rv = match.group(1)`σ$0
-endsnippet
-
-snippet "(.*)Tau" "" r
-`!p snip.rv = match.group(1)`Τ$0
-endsnippet
-
-snippet "(.*)tau" "" r
-`!p snip.rv = match.group(1)`τ$0
-endsnippet
-
-snippet "(.*)Upsilon" "" r
-`!p snip.rv = match.group(1)`Υ$0
-endsnippet
-
-snippet "(.*)upsilon" "" r
-`!p snip.rv = match.group(1)`υ$0
-endsnippet
-
-snippet "(.*)Phi" "" r
-`!p snip.rv = match.group(1)`Φ$0
-endsnippet
-
-snippet "(.*)phi" "" r
-`!p snip.rv = match.group(1)`φ$0
-endsnippet
-
-snippet "(.*)varphi" "" r
-`!p snip.rv = match.group(1)`ϕ$0
-endsnippet
-
-snippet "(.*)Chi" "" r
-`!p snip.rv = match.group(1)`Χ$0
-endsnippet
-
-snippet "(.*)chi" "" r
-`!p snip.rv = match.group(1)`χ$0
-endsnippet
-
-snippet "(.*)Psi" "" r
-`!p snip.rv = match.group(1)`Ψ$0
-endsnippet
-
-snippet "(.*)psi" "" r
-`!p snip.rv = match.group(1)`ψ$0
-endsnippet
-
-snippet "(.*)Omega" "" r
-`!p snip.rv = match.group(1)`Ω$0
-endsnippet
-
-snippet "(.*)omega" "" r
-`!p snip.rv = match.group(1)`ω$0
-endsnippet