(
list
(
α
)
, 
list
(
β
)
)
unzip (
list
(
(
α
, 
β
)
)
 
l)
Separate a lists of pairs into two lists.

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.