The hardest thing I ever did explained as simply as possible.
Hoare state monads
Tags: functional, logic, idris