시간표 개웃기네 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
ㅋㅋㅋㅋㅋ코인충이래 시발
그래도 type theory 하는애 한명 있긴 하네. 근데 lambda-prolog은 아직도 연명하고 있구나.
파이대수 혼자있는거 겁나웃기너
시간표 개웃기네 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
ㅋㅋㅋㅋㅋ코인충이래 시발
그래도 type theory 하는애 한명 있긴 하네. 근데 lambda-prolog은 아직도 연명하고 있구나.
파이대수 혼자있는거 겁나웃기너