Introduction to Homotopy Type Theory
Simon Beaumont
sebeaumont
Information scientist, mathematician and programmer. Functional languages, machine learning, types and proof. Moving away from GitHub these days.
typetyro England
Arman Jasuja
armurox
Associate Software Engineer at Dubizzle who loves math, programming and generally solving puzzles! C | C++ | Python | Scheme | ML | Postgres | Flask | Django
@dubizzle Dubai, United Arab Emirates
