BINARY FORMAT

Here is given a preliminary specification on Anders external term format.

is a byte.
(from qword) is a 64-bit little-endian integer constisting of 4 bytes.
is a UTF-8 string encoded as its length followed by the string itself. In a BNF-like notation this written as
represents here string (given by Z.to_bits function) that encodes Zarith integer.
is a ident, where first part represents ignored variable (like in ).
represents interval elements ( and respectively).
is a face.
is a language expression.
is a cubical system.

COSMOS

ΠΣ

INTERVAL

KAN