A new release of Functional Programming in Lean is out!

The new chapter this time around focuses on programming with dependent types.

@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.

Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.