Eric Walker added ATS (programming language) - Wikipedia to Programming language concepts
Eric Walker added Curry–Howard correspondence - Wikipedia to Programming language concepts
Eric Walker added Dependent type - Wikipedia to Programming language concepts
Eric Walker added Reddit - Dive into anything to Programming language concepts
Eric Walker added Programming language concepts to Programming languages, data formats and protocols