Paxos Made Simple in OCaml

Ref.: https://lamport.azurewebsites.net/pubs/paxos-simple.pdf

Related and worth reading:

• Who Builds a House Without Drawing Blueprints?
• Computer Science and State Machines