Æon compiler

A code compiler and synthesizer in the homonymous language, implemented in Python. The Æon language supports refined and dependent types with and without decidability restrictions.

Team: Alcides Fonseca; Paulo Santos; Sara Silva; Andreia MordidoVasco T. Vasconcelos