← Feed

Posts

• Post #2302449

  After a slight delay due to winter holidays, the December release of Functional Programming in Lean is out, featuring a new chapter on applicative functors: https://leanprover.github.io/functional_programming_in_lean/