Calm: Consistency as Logical Monotonicityhttp://bloom-lang.net/calm/ by forks • 7 months ago 3 0 7 months agoBLbloom-lang.net