Variant
  •    
    {
    list
    (
    α
    )
     
    TySum_col
    }
  • or 
    {
    void
     
    ...
    }
taddcol (
{ 
list
(
α
)
 
TySum_col
 }
 
cty
, 
{ 
α
 
TyRecord_row
 }
 
row)
Add a row to a column *

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.