Calm: Consistency as Logical Monotonicity

3 points| forks | 2 months ago |bloom-lang.net