Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

completed one of next steps

  • Loading branch information...
commit 792d3fe8e38309572f5d37f155dbdbf624b1e7d6 1 parent f7bb935
Tom Van Cutsem authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  README.md
2  README.md
View
@@ -39,7 +39,7 @@ Unlike transactions:
Next Steps
==========
- 1. Integrate w-refs with regular refs. Make `commit` atomic.
+ 1. <strike>Integrate w-refs with regular refs. Make `commit` atomic.</strike>: see [worlds_v1.clj](https://github.com/tvcutsem/clj-worlds/blob/master/src/worlds_v1.clj).
2. Experiment with stronger consistency checks.
Using the default semantics of worlds, worlds can see
inconsistent world-lines when other worlds commit to their parent.
Please sign in to comment.
Something went wrong with that request. Please try again.