Zulip Chat Archive
Stream: Is there code for X?
Topic: Giry
Adam Topaz (Nov 02 2023 at 16:49):
We have docs#MeasCat.Giry which is the Giry monad of all measures. Do we really not have what people usually call the Giry monad, namely the monad of just probability measures?
Last updated: May 02 2025 at 03:31 UTC