Pretty printing for types #13
Description
Now we have
foldl : ∀(a,b) => ((List a) -> (b -> ((a -> (b -> b)) -> b)))
I'd like to have
foldl : ∀(a,b) => List a -> b -> (a -> b -> b) -> b
{{ message }}
Now we have
foldl : ∀(a,b) => ((List a) -> (b -> ((a -> (b -> b)) -> b)))
I'd like to have
foldl : ∀(a,b) => List a -> b -> (a -> b -> b) -> b