"Why don't you use dependent types?"

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