list
(
α
)
+> (
α
 
_
, 
list
(
α
)
 
_)
As List.cons: adding an element at the head of a 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.