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 Mordido; Vasco T. Vasconcelos