• dismay3915@lemmy.world
    link
    fedilink
    arrow-up
    1
    ·
    edit-2
    13 days ago

    This belongs to programmer humor. Don’t make us drop type theory and category theory on these poor non-programmers