Some stuff about Paxos
Erlang type syntax primer