Hacker News new | ask | show | jobs
by pmarreck 31 days ago
Lean 4 and Idris 2 are underrated, and likely great for LLM's to code in (since they provide additional guarantees)