lasp-lang/types

Implement Pair.

Closed this issue · 1 comments

cmeiklejohn commented
Implement Pair.
cmeiklejohn commented

State-based completed, but we will need an operation-based invariant.