5 ms·
Your best bet lies with the introductory Functional Programming in Lean: https://lean-lang.org/functional_programming_in_lean/ https://lean-lang.org/functional_
by ykonstant 3y ago
Your best bet lies with the introductory Functional Programming in Lean: https://lean-lang.org/functional_programming_in_lean/ https://lean-lang.org/functional_programming_in_lean/