# content
Bidirectional Typechecking That Does Not Stop (via brendan) — discussion

#plt