• nakal
    arrow-up
    1
    arrow-down
    0
    ·
    10 months ago
    link
    fedilink

    That’s why it’s also called Curry-Howard isomorphism.