Coq のカリー・ハワード同型周辺について

Coq のカリー・ハワード同型周辺についてメモ.

qiita.com