• dismay3915@lemmy.world
    link
    fedilink
    arrow-up
    1
    ·
    24 hours ago

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