The Manwe Bet Smart Contract TODO: Add a witty and marketable description Requirements erlang python3 erdpy