That's awesome. I know I should take this opportunity to get good at a new language, but, as always, it feels like I'm trying other optimize for doing it as quickly as possible…
Me too! I did Unison last year, and Idris the year before. I suspect I might only get through a dozen puzzles or so, but I like the excuse to tinker with something new.
I'm also doing it Lean! I've posted my solutions for the first two days. I've been pleasantly surprised to run into a few others here in Bluesky doing the same.
Comments