[opentheory-users] defineTypeOp

Joe Leslie-Hurd joe at gilith.com
Mon Aug 12 16:48:16 UTC 2013


Thanks Rob, I've added the extra constraint -- Joe

On Sat, Aug 10, 2013 at 6:50 AM, Rob Arthan <rda at lemma-one.com> wrote:
> Another minor comment on the article file format specification: shouldn't
> there be a constraint in defineTypeOp requiring the formula phi to have no
> free term variables?
>
> Regards,
>
> Rob.
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>



More information about the opentheory-users mailing list