more on 'udi' and angelic non-determinism; make some sentences less long
[web.git] / personal / _posts / 2019-01-12-rust-2019.md
2019-01-12 Ralf JungRust 2019