Variant
  •    
    {
    list
    (
    γ
    )
     
    result
    }
  • or 
    {
    list
    (
    γ
    )
     
    different_length
    }
map2_gen_aux (
(
α
, 
β
γ
)
 
f
, 
list
(
γ
)
 
acc
, 
list
(
α
)
 
l1
, 
list
(
β
)
 
l2)

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.