Use · syntax in the decoder but sparingly

Changes

1 changed files (+1/-1)

• Puzzle.lean
  • @@ -9,7 +9,7 @@ def encode (s : String) := s.toList.map (λ x ↦
    |> "f".intercalate def decode (s : String) := s.splitOn "f" - |>.map (λ y ↦ y == " ") + |>.map (· == " ") |>.foldl (λ acc x ↦ if acc.2.length = 7 then (acc.1 ++ (acc.2 ++ [x]