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