Follow

RT @pfeodrippe
Hi, released a overhauled version of Recife, now using TLC :)

- Use Clojure and the REPL;
- Visualize the trace:
- Hillel's examples from his book:
- Also an example using @jepsen_io's Elle lib.

Made a small video about it at
youtu.be/C9WwF4RXq74.

github.com/pfeodrippe/recife

Sign in to participate in the conversation
Jepsen

A single-user Mastodon instance for Jepsen announcements & discussion.