4 ms·
Just for fun, monads as modalities is missing: https://hackage.haskell.org/package/Agda-2.6.4.2/docs/Agda-Syntax-Common.html#t:Cohesion https://hackage.haskell
by hackandthink 1y ago
Just for fun, monads as modalities is missing:
https://hackage.haskell.org/package/Agda-2.6.4.2/docs/Agda-Syntax-Common.html#t:Cohesion https://hackage.haskell.org/package/Agda-2.6.4.2/docs/Agda-S...