Comment on A Good Lemma Is Worth a Thousand Theorems (2007)Comments−whateveracct3mocoyoneda lemma has been helping me out (in prod - at FAANG even!) for over a decade−LPisGood3moHow has it helped in production software? Are you writing a lot of Haskell?−whateveracct3moyes
Comments
coyoneda lemma has been helping me out (in prod - at FAANG even!) for over a decade
How has it helped in production software? Are you writing a lot of Haskell?
yes