Hexirp / combinatory-type-theory

combinatory-type-theory

このリポジトリでは、私が組子型理論と名付けたコンビネータ論理を用いて関数を表現する型理論というものを考察し、それを Coq の内部で疑似的に実現する。