A prototype for a binding based approach to proper namespaces

[Andrea Corallo]

Hi all,

given the ongoing discussion on namespaces I thought was interesting to
try out a prototype to reason on.

I wrote a short page explaining what I did and how it is implemented:

https://akrl.sdf.org/lexspaces/lexspaces.html

It's a quick hack, certainly many pieces are missing, is potentially a
very bad idea, but I'd be interested in opinions.

  Andrea

--
address@hidden