Working files for a course called "Introduction to Functional Programming"