Forked from
FP / iris-atomic
Source project has a limited visibility.
-
Dan Frumin authored+ deriving sequential specification from log. atomic one
Dan Frumin authored+ deriving sequential specification from log. atomic one
+ deriving sequential specification from log. atomic one
+ deriving sequential specification from log. atomic one