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
- 2 Posts
- 7 Comments
Joined 2 years ago
Cake day: June 12th, 2023
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
kronicmage@lemmy.cato Fediverse@lemmy.world•Does it feel like the fediverse is exclusively used by older tech nerds?English2·2 years ago23 year old Nix user…
Wow this really feels like reddit again. High quality comment followed by low effort award post. All we need now is an award speech edit
smbc robot comics, true classic genre
A lot of these jokes are literally older than some of the people in my computer science program
kronicmage@lemmy.cato Programmer Humor@programming.dev•it makes just as little sense to meEnglish1·2 years agoGive gruvbox a shot! My absolute favourite color scheme. Here’s an example of it in action in my config: link
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