CppCon - Lightning Talk: Curry-Howard Correspondence - Jefferson Carpenter - CppCon 2021
Sign in to continue reading, translating and more.
