added Martingale.hs