ROSEdu Functional Programming Workshop (site repository)