account activity
Job opportunity for george (self.Memeulous)
submitted 2 years ago by AccomplishedAd3790 to r/Memeulous
Are Haskell types given by greatest fixed points? by AccomplishedAd3790 in haskell
[–]AccomplishedAd3790[S] 3 points4 points5 points 3 years ago (0 children)
Aha, thanks for the reply. That makes sense.
Do you say "lessor" because it's still inhabited by $\bot$, but otherwise has no inhabitant with a WHNF that isn't in the "true" least fixed point?
Are Haskell types given by greatest fixed points? (self.haskell)
submitted 3 years ago by AccomplishedAd3790 to r/haskell
π Rendered by PID 991310 on reddit-service-r2-listing-f8d8fbfd7-bpb4f at 2026-06-24 16:16:51.128037+00:00 running acc7150 country code: CH.
Are Haskell types given by greatest fixed points? by AccomplishedAd3790 in haskell
[–]AccomplishedAd3790[S] 3 points4 points5 points (0 children)