This is my solution to exercises of htdp2e