programming

• 2024-04-22 - a lean goal
• 2024-04-20 - getting lean
• 2024-04-18 - pragmatic sum and product
• 2024-04-04 - inductive Rust types