RE: #1 Introduction to Functional Programming and Formal Methods — Steemit