The dependently typed update monad

Richard Garner – 17 June 2020

We explain Ahman and Uustalu's dependently typed update monad, give an imperfect algebraic presentation, and describe its comodels.

Back