Artifact for InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference

This is the artifact for the paper, InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference. It contains: + infertype-amd64.tar: a docker image built for platform linux/amd64. + to load it, type `docker load -i infertype-amd64.tar` For the other materials, please refer to the previous version (Version v7).