Archived tweet #7976 from the @leastfixedpoint Twitter Archive

@DRMacIver A kind of trie for intersection/union/complement of sets of semistructured terms. See sec 3.3 of syndicate-lang.org/papers/coordin…