|
|
|
|
|
|
by awwx
2698 days ago
|
|
|
> Some features in our products use an event sourcing pattern Ah, sounds very interesting! Are there any examples you'd be able to share? E.g. one example of a TLA+ assertion that your event store is serializable, or whatever you can? |
|
|