Advent of Code starts tomorrow. You can do it with Lean. There is a book to help you with that. #LeanLang lean-lang.org/functional_p... - ThreadSky | a Reddit-style client for Bluesky

adolfont.github.io • 90 days ago

Advent of Code starts tomorrow.
You can do it with Lean.
There is a book to help you with that.
#LeanLang
https://lean-lang.org/functional_programming_in_lean/title.html

Comments