Monthly Highlights
26288.
26290.
Bidirectional typechecking that does not stop
(semantic-domain.blogspot.com)