Conversation

Brendan Zabarauskas

@brendanzab

Oooh! There's an nLab page for Bidirectional Typechecking now! https://ncatlab.org/nlab/show/bidirectional+typechecking…

12:42 PM · Sep 27, 2018·Twitter Web Client

10

Likes