You're viewing a single thread.
All comments
39
comments
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
26 0 ReplyThat looks like something I've seen somewhere and didn't understand.
3 0 Reply
39
comments
Scroll to top