From 87a9b4182914603dc1ad81afa241824198fa1390 Mon Sep 17 00:00:00 2001 From: silky Date: Tue, 20 Feb 2024 21:02:35 +0000 Subject: [PATCH] removed some duplicates --- agda-input.vim | 5 ----- 1 file changed, 5 deletions(-) diff --git a/agda-input.vim b/agda-input.vim index 96aea46..00676a1 100644 --- a/agda-input.vim +++ b/agda-input.vim @@ -243,7 +243,6 @@ if !exists("g:cornelis_no_agda_input") call cornelis#bind_input("<->n", "↮") call cornelis#bind_input("<-n", "↚") call cornelis#bind_input("<<", "⟪") - call cornelis#bind_input("<=", "⇐") call cornelis#bind_input("<=", "≤") call cornelis#bind_input("<=>", "⇔") call cornelis#bind_input("<=>n", "⇎") @@ -538,7 +537,6 @@ if !exists("g:cornelis_no_agda_input") call cornelis#bind_input("GM", "Μ") call cornelis#bind_input("GN", "Ν") call cornelis#bind_input("GO", "Ω") - call cornelis#bind_input("GP", "Π") call cornelis#bind_input("GP", "Ψ") call cornelis#bind_input("GR", "Ρ") call cornelis#bind_input("GS", "Σ") @@ -566,7 +564,6 @@ if !exists("g:cornelis_no_agda_input") call cornelis#bind_input("Gm", "μ") call cornelis#bind_input("Gn", "ν") call cornelis#bind_input("Go", "ω") - call cornelis#bind_input("Gp", "π") call cornelis#bind_input("Gp", "ψ") call cornelis#bind_input("Gr", "ρ") call cornelis#bind_input("Gs", "σ") @@ -1280,7 +1277,6 @@ if !exists("g:cornelis_no_agda_input") call cornelis#bind_input("buw", "◦") call cornelis#bind_input("bv", "𝕧") call cornelis#bind_input("bw", "𝕨") - call cornelis#bind_input("bx", "⊠") call cornelis#bind_input("bx", "𝕩") call cornelis#bind_input("by", "𝕪") call cornelis#bind_input("bz", "𝕫") @@ -1902,7 +1898,6 @@ if !exists("g:cornelis_no_agda_input") call cornelis#bind_input("st12", "✹") call cornelis#bind_input("st6", "✶") call cornelis#bind_input("st8", "✴") - call cornelis#bind_input("star", "⋆") call cornelis#bind_input("star", "★") call cornelis#bind_input("stigma", "ϛ") call cornelis#bind_input("straightphi", "φ")