Closed gibson042 closed 11 months ago
_Originally posted by @erights in https://github.com/Agoric/documentation/pull/876#discussion_r1411146371_
CopyTaggeds representing higher-order types Not necessarily higher order in general. Probably the intended point is that these concepts are defined at a higher abstraction layer.
CopyTaggeds representing higher-order types
Not necessarily higher order in general. Probably the intended point is that these concepts are defined at a higher abstraction layer.
_Originally posted by @erights in https://github.com/Agoric/documentation/pull/876#discussion_r1411146371_