FP-CT-Lean Contains Lean 4 code for the "Functional Programming (FP) with Category Theory (CT) in Lean" talk.