Case study: a skip-list #15
Description
Implement a predicate for skip-list and basic operations on it.
A good example is given in this paper:
https://www.irif.fr/~sighirea/spen/FIT-TR-2014-01.pdf
{{ message }}
Implement a predicate for skip-list and basic operations on it.
A good example is given in this paper:
https://www.irif.fr/~sighirea/spen/FIT-TR-2014-01.pdf