[plt-scheme] flavoured modules

They can!  For the main idea consult the paper Ryan and I wrote for  
GPCE 2005
http://www.cl.cam.ac.uk/~so294/documents/sigmacros.ps.

For more detail look at my dissertation (likely skipping chapters 2  
and 3):
http://www.cl.cam.ac.uk/~so294/documents/owens-phd.pdf.

The macro functionality is also documented in the MzLib manual (help- 
desk).

-Scott Owens

On Jul 19, 2007, at 3:43 PM, Jos Koot wrote:

>
> Exactly, but my representations include macros.
> A far as I know units cannot import/export macros.