Programming Languages and Verification / Haskell omeLET / Case Studies / Stepwise RDP Debugging