My first verified imperative program

📅 2025-07-07    ⚓ Hacker News    🌐 Source    🖼️ Load Image