jeremyscanvic on My first verified imperative program · Hackerly

Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

Comment on My first verified imperative program

Comments

jeremyscanvic 1y

That's really neat! I'm very excited for the future of Lean.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.