2015-03-06 Agda による型推論器の定式化 slideshare popular ja today scrapcook Agda による型推論器の定式化 http://www.slideshare.net/ussopyon/agda-45453544