Skip to content

Instantly share code, notes, and snippets.

@phedkvist

phedkvist/gist:5776799166df5277934d3e1e0612646e

Created February 27, 2021 12:49
Show Gist options
  • Save phedkvist/5776799166df5277934d3e1e0612646e to your computer and use it in GitHub Desktop.
Save phedkvist/5776799166df5277934d3e1e0612646e to your computer and use it in GitHub Desktop.
Download ZIP
g-set
Raw
gistfile1.txt
payload set A
initial ∅
update add(element e)
A := A ∪ {e}
query lookup(element e) : boolean b
let b = (e ∈ A)
compare (S, T) : boolean b
let b = (S.A ⊆ T.A)
merge (S, T) : payload U
let U.A = S.A ∪ T.A
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment