Speaker Deck

私を SKI に連れてって

by Susisu

Published December 11, 2015 in Programming

Lazy K の紹介のつもりが型無しラムダ計算の説明から入ったので長くなりすぎたもの