Asya-kawai / types-and-programming-languages

型システム入門を読み解く

型システム入門を読み解く

読んでわからなかったことをメモしたり自分なりに解釈してみる。

間違っているところがあれば、issueやPRで指摘をもらう。