Hillel Wayne

Formal Verification

Functors, Applicatives, and Monads in Plain English