Don't need parens there

Changes

1 changed files (+1/-1)

• Compose.lean
  • @@ -3,7 +3,7 @@ import Lean.Data.Json.Parser
    def ofHex a b := let f (x : Char) := x.toNat - (if x.toNat ≤ '9'.toNat then '0'.toNat else 'a'.toNat - 10) - 16 * (f a) + (f b) |> Char.ofNat + 16 * f a + f b |> Char.ofNat def main := do let keysym :=