George Karachalias
He who wears his morality but as his best garment were better naked.
Kahlil Gibran
This is a test post.
Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. \[{{} \over {\Gamma \vdash unit : Unit}}\] \[{{\Gamma, x : T_1 \vdash t : T_2} \over {\Gamma \vdash \lambda x : T_1. t : T_2}}\] \[{{\Gamma, a \vdash t : T} \over {\Gamma \vdash \Lambda a. t : \forall a. T}}\] \[{{\Gamma \vdash t_1 : T_1 \to T_2 \quad \Gamma \vdash t_2 : T_1} \over {\Gamma \vdash t_1~t_2 : T_2}}\] \[{{\Gamma \vdash t_1 : \forall a. T_1 \quad \Gamma \vdash T_2} \over {\Gamma \vdash t_1~T_2 : [T_2/a]T_1}}\] Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.