A Good Lemma Is Worth a Thousand Theorems (2007)
22 points
1 day ago
| 2 comments
| sites.math.rutgers.edu
| HN
▲
whateveracct
1 hour ago
[-]
coyoneda lemma has been helping me out (in prod - at FAANG even!) for over a decade
reply
▲
LPisGood
1 hour ago
[-]
How has it helped in production software? Are you writing a lot of Haskell?
reply
▲
pfdietz
2 hours ago
[-]
(2007)
reply