\[\frac{ \Gamma, x : A \vdash e : B }{ \Gamma \vdash \lambda x. e : \Pi_{x : A} B }\]

Hi! I’m Eashan Hatti, I’m a current undergrad at Yale focused on programming language theory.