Wait use the fun ↦ character

Changes

1 changed files (+1/-1)

• Printf.lean
  • @@ -18,7 +18,7 @@ def PrintfType : Fmt → Type 1
    def printf (fmt : String) : PrintfType <| toFmt fmt.toList := let rec printfAux (fmt : Fmt) (acc : List Char) : PrintfType fmt := match fmt with - | .FArg fmt => fun x => printfAux fmt <| acc ++ (toString x).toList + | .FArg fmt => fun x ↦ printfAux fmt <| acc ++ (toString x).toList | .FChar c fmt => printfAux fmt <| acc ++ [c] | .FEnd => .up acc.asString printfAux (toFmt fmt.toList) []