Sha256: 114ed5d2425f01c3d1ee44de3a2cf06baccecfa00cf083754246393117fb04d1
Contents?: true
Size: 496 Bytes
Versions: 17
Compression:
Stored size: 496 Bytes
Contents
(datatype binary
if (element? X [0 1])
_____________
X : zero-or-one;
X : zero-or-one;
________________
[X] : binary;
X : zero-or-one; Y : binary;
____________________________
[X | Y] : binary;
X : zero-or-one, [Y | Z] : binary >> P;
________________________________________
[X Y | Z] : binary >> P;)
(define complement
{binary --> binary}
[0] -> [1]
[1] -> [0]
[1 N | X] -> [0 | (complement [N | X])]
[0 N | X] -> [1 | (complement [N | X])])
Version data entries
17 entries across 17 versions & 1 rubygems