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/
Remote
David Thrane Christiansen
@d_christiansen@types.pl
mastodon 4.8.0-alpha.2+glitch7 Followers
144 Following
2 Posts
Joined December 19, 2020
Replying to
@lkanies@hachyderm.io do they replace Danish "øbo" with "obo", turning islanders into instruments?