▲ 1 pointsA Taste of Type Theory – YOW Lambda Jam 2019 – Bartosz Milewskiyoutube.comby matt_d·7y ago·0 comments·view on hn ↗