Eric Walker added Refinement type - Wikipedia to Type theory (programming languages)

Eric Walker added Compiling Rust is NP-hard | Hacker News to Rust (programming language), Algorithmic complexity and Type theory (programming languages)

Eric Walker added r/ProgrammingLanguages - Singleton, Fiber and Equivalence to Type theory (programming languages)

Eric Walker added singleton_fiber_equivalence to Type theory (programming languages)

Eric Walker added a number of topics and a number of links to Programming languages, data formats and protocols, and added Programming languages, data formats and protocols to Language, languages, speech, writing, communication and meaning and Software and programming

Eric Walker added a number of links to Type theory (programming languages), and added Type theory (programming languages) to Programming languages, data formats and protocols