• CanadaPlus@lemmy.sdf.org
    link
    fedilink
    English
    arrow-up
    8
    ·
    edit-2
    1 year ago

    I literally had a type-theory themed stress dream a couple nights ago. I’ll leave it up to you if that makes this less or more funny.