omochimetaru 7/12/2017 3:07 AM

TypeChecker.rst今度読んでみよ

3:10 AM

@omochimetaru a と b の型は + できることから決まるという意味で。(編集済)

話のつながりがよくわからなかったです