T

type-checking

Tiny Python library to help with type checking of variables contexts passed into Jinja templates using only type hints

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.