Hacker News new | ask | show | jobs
Calm: Consistency as Logical Monotonicity (bloom-lang.net)
3 points by forks 173 days ago