@mikidep to Programmer [email protected] • 1 year agoWe did this to ourselvesimagemessage-square42arrow-up1124arrow-down112
arrow-up1112arrow-down1imageWe did this to ourselves@mikidep to Programmer [email protected] • 1 year agomessage-square42
minus-square@[email protected]linkfedilink26•1 year agoThis is referencing Philip Wadler’s 1989 paper “Theorems for Free”, which is fairly well known in the Haskell community: https://home.ttic.edu/~dreyer/course/papers/wadler.pdf
minus-square@[email protected]linkfedilink3•1 year agoThat looks like something I’ve seen somewhere and didn’t understand.
This is referencing Philip Wadler’s 1989 paper “Theorems for Free”, which is fairly well known in the Haskell community: https://home.ttic.edu/~dreyer/course/papers/wadler.pdf
That looks like something I’ve seen somewhere and didn’t understand.