#3 Types and Programming Language 第三次線下討論會

第三次線下討論會，歡迎一起來讀 TaPL

上次的場地還蠻不錯的，所以先暫定上次的地點

由於這次將近一個月的時間可以讀，所以進度到第二部份 Simple Type System 結束，歡迎使用各種語言實作參考。