Skip to content
GitLab
Explore
Sign in
FP
iris-atomic
Issues
#1
Possible Improvements
Emulated thread-local storage (
#4
)
Better per-item spec (nested invariants?) (
#5 (closed)
)
Simplify the spec by avoiding the currying issues