Implicit parameters, second draft

[Ashley Yakeley]

In article <Pine.LNX.4.21.0308091624490.22529-100000@dark.darkweb.com>,
 Ben Rudiak-Gould <benrg@dark.darkweb.com> wrote:

> The proposed notation seems to be almost the same as the existing
> field-label notation semantically as well as syntactically, which suggests
> that it wouldn't be a destabilizing addition. (See section 2.5.)

Might these be unified in any useful way?

-- 
Ashley Yakeley, Seattle WA