Functional Programming and Verification revision course