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

Advertisements

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

Advertisements

Based on my recap of monads from the week before, I talked about ideal monads. Continue reading