
29 Jan
2006
29 Jan
'06
5:03 p.m.
Johannes Waldmann
With the module system, we should make a distinction between declaring
(1) that we want to use a module (2) how to bring the module's names into scope
Perhaps 'import' should be allowed anywhere among definitions. -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/