22 lines
251 B
Plaintext
22 lines
251 B
Plaintext
### Vectors
|
|
|
|
[
|
|
Datatype vectors
|
|
Funcon vector
|
|
Funcon vector-elements
|
|
]
|
|
|
|
|
|
Meta-variables
|
|
T <: values
|
|
|
|
|
|
Datatype
|
|
vectors(T) ::= vector(_:(T)*)
|
|
|
|
|
|
Funcon
|
|
vector-elements(_:vectors(T)) : =>(T)*
|
|
Rule
|
|
vector-elements(vector(V*:(T)*)) ~> V*
|