dominicusin
emerge and dissolve
среда, 21 октября 2020 г.
λ-Files: Writer comonad in Coq
λ-Files: Writer comonad in Coq
: In the last post , we reviewed Writer comonad in Haskell. In this post we will implement it in Coq. Since monads are not the part of standa...
Следующие
Предыдущие
Главная страница
Подписаться на:
Сообщения (Atom)