top | new | best | ask | show | jobs

top | item 8682272

(no title)

namarkiv | 11 years ago

Dependent types, gradual typing, HoTT

discuss

order

No comments yet.

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