Definitions Graphs Sections NuprlLIB Doc

No other cites to report in Graphs
array-constDef array[n]:=v == < n,i.v >

Syntax:array[n]:=v has structure: array-const(n; v)

About:
pairlambda!abstraction

Definitions Graphs Sections NuprlLIB Doc