duyetln / soundness-completeness

Soundness and Completeness proofs for a simple constraint typing system, based on Pierce's book.

Soundness and Completeness proofs for a simple constraint typing system. For more information see Report.md