News for hackers. Stuff that matters.
Re:Löb and möb: strange loops in Haskell by whateveracct on Monday January 30, 2023 @11:05AM (#34581569)
I love type signatures like this. Not hard to implement - it's like a game. But then it's like..wtf does this do? And you can kind of guess by reading the type as well as you can the body.

There are no comments on this comment yet.