search

jepsen-io / elle

Black-box transactional safety checker based on cycle detection
Eclipse Public License 2.0
640 stars 34 forks source link

Toy formalization of traceable datatypes #2

Closed nano-o closed 4 years ago

aphyr commented 4 years ago

Ahhhh, thank you so much! Sorry this has taken so long to get to--I wound up adopting a dog this week and he's needed a lot of attention. Let's see if I can expand on this!