A new release of Functional Programming in Lean is out! https://leanprover.github.io/functional_programming_in_lean/
The new chapter this time around focuses on programming with dependent types.
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
@d_christiansen im overdue to try writing some lean again. maybe i can figure out how to convince it my function was total after all.