type-cert

Certifying Type Checker (for Doru) and Type Inferencer (for ITMUWU)

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
LICENSE		LICENSE
README.md		README.md
datatype-311.rkt		datatype-311.rkt
doru-L32-solution.rkt		doru-L32-solution.rkt
itmuwu-L36-solution.rkt		itmuwu-L36-solution.rkt
solver.rkt		solver.rkt

Provide feedback