Title: An applicative language in the introductory programming unit