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: Dec 20 2025 at 21:32 UTC