1.9. Syntactic datums and datum values:
Symbols and byte vectors are omitted from the list of datums.
It's not clear whether datums may be cyclic.
10. Formal semantics:
In the equation explaining beta reduction the braces around the
substitution are missing. Probably {...} has been written instead of
\{...\}.
2.3 (library). Operations on integers of arbitrary size:
It's not clear how bytevector->{u,s}int-list behave when the length
of the byte vector is not divisible by the size of the element.
An error? The tail is cut out? The tail is zero padded?
--
__("< Marcin Kowalczyk
\__/ qrczak_at_knm.org.pl
^^ http://qrnik.knm.org.pl/~qrczak/
Received on Mon Jan 22 2007 - 10:24:20 UTC