Bidirectional Type Checking

[@anchpop]

The slide at 28:55 is incorrect. The code sample should read:
check G other t2 =
let t1 = synth G other
in isSubtype t1 t2

[@Lircking]

nice

[@asitisj]

Nat

[@slowpnir]

What font does he use?

[@GurwinderSingh-mk8db]

Iosevka