Re: [Haskell-cafe] bottom/unconditionally false in Haskell

On Mon, May 31, 2021 at 11:39:39AM -0500, Galaxy Being wrote:

I just ran into this formula

head = foldr (<<) ⊥ where x << y = x

I understand it's a sort of pseudo-code

It's less "pseudo" than you think! This works: head = foldr (<<) undefined where x << y = x