Generating quines via E-unification for second-order abstact syntax. - View it on GitHub