The future of Functional Programming in Lean, and me

Stream: lean4

[David Thrane Christiansen]

Ever since Functional Programming in Lean was completed, I've been accumulating a list of issues that I haven't had time to take care of. Thank you for the reports, and I will get to them.

Starting next month, I'll have a new job at the Lean FRO, and one of my tasks will be catching up on FPiL issues, fixing known mistakes and bringing it up to date with the latest nightlies. I'm looking forward to getting back into programming and documentation work full time - I expect to be on here a lot more as well.

In the meantime, though, I'll be completely swamped preparing my current job for a smooth transition to my successor.

Thanks to the Lean FRO for the opportunity!