add lang attributes
[web.git] / personal / _posts / 2018-08-22-two-kinds-of-invariants.md
2018-08-25 Ralf Jungonly must
2018-08-23 Ralf Jungclarify validity for prtially initialized local variables
2018-08-23 Ralf Jungclarify boundary
2018-08-22 Ralf Jungexpand post title
2018-08-22 Ralf Jungtweak the slogan
2018-08-22 Ralf Jungdiscuss empty types
2018-08-22 Ralf Jungadd forum link
2018-08-22 Ralf Jungpost on invariants