Update Lean to 4.14.0

Tibi/Wasm/Basic.lean

@@ -20,7 +20,7 @@ def Vec.toList [Encoder α] : Vec α n → List α
 | cons a as => a :: as.toList
 
 def Vec.encode [Encoder α] (v : Vec α n) : List UInt8 :=
-  Nat.encode n ++ List.join (v.toList.map Encoder.encode)
+  Nat.encode n ++ List.flatten (v.toList.map Encoder.encode)
 
 instance [Encoder α] : Encoder (Vec α n) where
   encode := Vec.encode

Tibi/Wasm/Module/Component.lean

@@ -36,7 +36,7 @@ instance : Encoder (Nat × ValType) where
   | ⟨n, t⟩ => Nat.encode n ++ t.encode
 
 def Code.func : Code → List UInt8
-| ⟨locals, expr⟩ => (Vec.ofList locals).encode ++ List.join (expr.map Encoder.encode) ++ [0x0B]
+| ⟨locals, expr⟩ => (Vec.ofList locals).encode ++ List.flatten (expr.map Encoder.encode) ++ [0x0B]
 
 def Code.encode (c : Code) : List UInt8 :=
   Nat.encode c.func.length ++ c.func

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:4.13.0
+leanprover/lean4:4.14.0