prfm-monads

A short article on Monads for the course "Programming Languages and Formal Methods" at "Hochschule für Technik Rapperswil (HSR)"