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 paxos a p ,
where
a : number of acceptors
p : number of proposers