============
Type Systems
============

TODO

Example Implementation
======================

See `Type System in EZ Language <https://github.com/CompilerProgramming/ez-lang/tree/main/types>`_.