/home/
/braindump/
/longform/
type theory
2024-04-04 - inductive Rust types