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.tar: a saved docker image built for platform linux/arm64 + infertype-amd64.tar: a saved docker image built for platform linux/amd64 + artifact.zip: this artifact including all the materials + readme.md: a document for the included materials