This was the third and final lunch in my series about ideal monads. I talked about how to define ideal monads correctly. My talk was based on a discussion with Tarmo Uustalu. Continue reading
What is the correct definition of ideal monads?
1
This was the third and final lunch in my series about ideal monads. I talked about how to define ideal monads correctly. My talk was based on a discussion with Tarmo Uustalu. Continue reading
Based on my recap of monads from the week before, I talked about ideal monads. Continue reading