diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2018-12-31 01:02:46 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2018-12-31 01:02:46 -0800 |
| commit | d8f9b15fd9da8c9ae29ee0b63c4302e5efbde387 (patch) | |
| tree | 418278e778d5bdfcd884e31be612c04c05c2a3dd /core/id.nom | |
| parent | 0f83a81fa6d2c131aea747da035a53019f3d7d2a (diff) | |
Cleaning up some of the documentation and dead code.
Diffstat (limited to 'core/id.nom')
| -rw-r--r-- | core/id.nom | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/id.nom b/core/id.nom index a22df25..d5f747a 100644 --- a/core/id.nom +++ b/core/id.nom @@ -54,7 +54,7 @@ externally (uuid) means: $bytes.4 += 0xC0 return (=lua "('%08x-%04x-%04x-%02x%02x-%6x%6x'):format(unpack(\$bytes))") -# For strict identity checking, use (%x's id) == (%y's id) +# For strict identity checking, use ($x's id) == ($y's id) test: assume (([] == []) and ((id of []) != (id of []))) seed random with 0 |