I'm Manu Lintz
Hello :)
import LeanExplo.Basic
def f (n : Nat) : String := toString n
def g (s : String) : Bool := s.length > 1
#check fun (g : String → Bool) (f : Nat → String) (x : Nat) => g (f x)
#eval (fun x: Nat => g (f x)) 10
Hello :)
import LeanExplo.Basic
def f (n : Nat) : String := toString n
def g (s : String) : Bool := s.length > 1
#check fun (g : String → Bool) (f : Nat → String) (x : Nat) => g (f x)
#eval (fun x: Nat => g (f x)) 10