Library modules are located in ./src.
In order to build the project you must first run:
./stack build
Paxos implementation according to 'The Science of the Blockchain' book.
In order to execute the program you must run:
./stack exec king n f ,
where
n : number of nodes
f : maximum number of possible byzantine nodes