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
23 year old Nix user...
This joke is out of this world
smbc robot comics, true classic genre
What a coincidence
The main mastodon instance got defederated by many other instances in the early days, but when they added more mod tools they were welcomed back in and they're going strong to this day. Here's hoping
Same here! It's nice to get the best of both worlds
I really love the smaller community vibes here. It feels much more real and genuine interact with people
We all have to do our part to talk about the products and services we use here on Lemmy. Does anyone know of a good community similar to /r/buyitforlife on the fediverse?
Its a commonly taught thing in English classes where I'm from (Ontario) -- we would get harped on it fairly regularly
view more: next ›
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