Speaker Deck

5分でわかる Curry–Howard 同型対応

by Susisu

Published May 28, 2017 in Programming

5分で伝えることが無茶だとわかりました

https://connpass.com/event/54292/