Re: [Toss-devel] Specification of Hierarchical Terms
Status: Beta
Brought to you by:
lukaszkaiser
From: Lukasz S. <luk...@gm...> - 2012-07-01 02:18:58
|
On Sun, Jul 1, 2012 at 12:57 AM, Lukasz Stafiniak <luk...@gm...> wrote: > The specs are still wrong, in particular currently a term / > substitution is equivalent to its upper grounding w.r.t. ISA This is only (seriously) bad for non-linear terms, so semantically it seems tied with explicit sharing. (I.e. solving this problem should shed light on explicit sharing.) |