Swift Playground: gist.github.com/mbrandonw/981...
Blog post: www.fewbutripe.com/2018/12/05...
References
* Infinite sets that admit fast exhaustive search - Martín Escardó
* Synthetic topology of data types and classical spaces - Martín Escardó
* Seemingly Impossible Functional Programs - Martín Escardó
* The topology of Seemingly impossible functional programs (Slides) - Martín Escardó
7 июл 2024