Working on creating likely-correct software with formal and semi-formal methods for rapid iteration.

Done the first demo: https://www.osequi.com/studies/list/list.html, now focusing on "diagrams as code": https://tonsky.me/blog/diagrams/