GitHub repository: lauracorssac/TypeInferSemantics
Primary language: Python
Description: Project made for the course of Semantics, of Universidade Federal do Rio Grande do Sul