Functional Languages Project 2022-2023 Davide Albiero The project consisted in the development of the type inference for TinyML. The solution, compared to the prof's version, has been converted to .NET 7 (to make it work natively in Apple Silicon).