[Haskell-cafe] bottom/unconditionally false in Haskell

[Tom Ellis]

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