T

type-checking

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

This project provides a type checker for the NanoC language.