← Feed

Posts

• View post

  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/