Spacing is actually required here :-/
This commit is contained in:
parent
1cf1ab1707
commit
a737a0cf18
|
@ -714,8 +714,8 @@ The functions `binary32(F)` and `binary64(D)` yield big-endian 4- and
|
|||
To annotate a `Repr` `r` with some `Value` `v`, prepend `r` with
|
||||
`[0x05] ++ [[v]]`.
|
||||
|
||||
For example, the `Repr` corresponding to textual syntax `@a@b[]`, i.e.
|
||||
an empty sequence annotated with two symbols, `a` and `b`, is
|
||||
For example, the `Repr` corresponding to textual syntax `@a @b []`,
|
||||
i.e. an empty sequence annotated with two symbols, `a` and `b`, is
|
||||
|
||||
[[ @a @b [] ]]
|
||||
= [0x05] ++ [[a]] ++ [0x05] ++ [[b]] ++ [[ [] ]]
|
||||
|
|
Loading…
Reference in New Issue