WhoCites
Definitions
core
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites spread5?
spread5
Def let
a
,
b
,
c
,
d
,
e
=
u
in
v
(
a
;
b
;
c
;
d
;
e
)
Def
==
u
/
a
,
zz1
.
zz1
/
b
,
zz2
.
zz2
/
c
,
zz3
.
zz3
/
d
,
e
.
v
(
a
;
b
;
c
;
d
;
e
)
Syntax:
let
a
,
b
,
c
,
d
,
e
=
u
in
v
(
a
;
b
;
c
;
d
;
e
)
has structure:
spreadn(
u
;
a
,
b
,
c
,
d
,
e
.
v
(
a
;
b
;
c
;
d
;
e
))
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
WhoCites
Definitions
core
StandardLIB
Doc
