A Haskell implementation of the Raft consensus protocol, deconstructed as a menagerie of cooperating abstractions for communication, storage and control. A pure protocol description allows local testing and validation of exactly the code that is run on a production cluster.
This implementation was the subject of a talk at YOW! LambdaJam 2015 in Brisbane, Australia. Watch on YouTube.
