top | new | best | ask | show | jobs

top | item 20879297

(no title)

theWheez | 6 years ago

Is that related to the Curry-Howard isomorphism?

discuss

order

No comments yet.

powered by hn/api // news.ycombinator.com