β
foldl (
(
α
, 
β
β
)
 
_
, 
list
(
α
)
 
_
, 
β
 
_)

Comments

The browser you use is not supported by this application, probably because it lacks some critical features.
For a better experience, please consider using this application with a supported browser.