▲ 2 pointsBidirectional Type Checking – C◦mp◦se 2019 – David Christiansenyoutube.comby matt_d·7y ago·0 comments·view on hn ↗