Monads

Stream: general

[Simon Hudon]

There's a new book about one Haskeller looking back on the challenges of learning Haskell that I thought could benefit people trying to dig deeper into Lean meta-programming. It focuses heavily on monads and covers other topics with various degrees of relevance to Lean: http://dev.stephendiehl.com/hask/