111 followers
@TaliaRinger Wouter Swierstra’s functional pearl on Hoare monad implementation helped me quite a bit in understanding monads in coq. https://t.co/TbDJGPn9jF
@TaliaRinger Wouter Swierstra’s functional pearl on Hoare monad implementation helped me quite a bit in understanding monads in coq. https://t.co/TbDJGPn9jF