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.
[ Parent
| on HN ]
There are no comments on this comment yet.