←back to thread

A list is a monad

(alexyorke.github.io)
153 points polygot | 1 comments | 29 Jun 25 17:53 UTC | HN request time: 0.281s | source
1. hackandthink ◴[02 Jul 25 17:15 UTC] No.44446272[source]▶
Just for fun, monads as modalities is missing:

https://hackage.haskell.org/package/Agda-2.6.4.2/docs/Agda-S...