Æ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.