Feed / overreacted - A blog by Dan AbramovA Lean Syntax PrimerTuesday, September 2, 2025Programming with proofs.Read original article ↗