[Aldor-l] [Aldor-combinat-devel] extracting the grammar from a species and isomorphismtypegeneratingfunction

[Christian Aistleitner]

Hello,

> Is the order of
> evaluation during domain instantiation [...] documented?

Yes -- at least partly. For expressions in type context (e.g: your  
evaluate(...) add), you can refer to §7.3 AUG part “Type evaluation”.
They basically tell us not to rely on anything.

--
Kind regards,
Christian