T

type-inference

Project for the Functional Languages Course held at the University of Padua. This project implements an interpreter with type checking and type inference for a small functional language

A toy type checker