Add link to code in generated ~/.XCompose

Changes

1 changed files (+1/-0)

• Compose.lean
  • @@ -6,6 +6,7 @@ def ofHex a b := let f (x : Char) := x.toNat - (if x.toNat ≤ '9'.toNat then '0
    def main := do let keysym := (← IO.FS.readFile "keysymdef.h").splitOn "\n" |>.map (fun l : String ↦ (ofHex (String.Pos.Raw.get! l ⟨45⟩) (String.Pos.Raw.get! l ⟨46⟩), Substring.mk l ⟨11⟩ ⟨30⟩ |>.takeWhile (· ≠ ' ') |>.toString)) |> Std.HashMap.ofList + IO.println "# Generated by https://git.unnamed.website/miscelleaneous/tree/Compose.lean" IO.println "include \"%L\"" let raw_abbrs ← IO.Process.run { cmd := "curl", args := #["https://raw.githubusercontent.com/vasnesterov/vscode-lean4/refs/heads/master/lean4-unicode-input/src/abbreviations.json"] } match Lean.Json.parse raw_abbrs with