• marcos@lemmy.world
    link
    fedilink
    arrow-up
    2
    ·
    9 months ago

    Or when it is something like Prolog, where equality is inherently a messy and complex concept.