via https://twitter.com/ko_bx/status/1193828537188401153
I’ve recently started studying Topology, which turned out to be a topic filled with set theory and theorems around it. Unfortunately, my brain was well-poisoned with Type Theory by the time I’ve started, so I couldn’t help but itch my hands in an attempt of encoding things in Type Theory. Kostiantyn Rybnikov @ko_bx https://k-bx.github.io/articles/propositions-as-types-missing-links.html @philipthrift -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/8fc10c9a-1f6d-4189-8a0a-66a23e9fb7dd%40googlegroups.com.