| http://www.w3.org/ns/prov#value | - But if the IDE is the revolution, surely what you want is an editor so tightly integrated with the language it is editing that there is no observable difference between the two - that the extension language for the editor is the language it is editing...?
|
