This repository was archived by the owner on Jan 2, 2023. It is now read-only.
This repository was archived by the owner on Jan 2, 2023. It is now read-only.
Integrate a TypeChecker for the project #174
Description
A Type checker also helps to improve productivity as many errors can be avoided before starting the project.
For project refactorings, it is very helpful to have a typechecker that ensures some type safety.