[plt-scheme] flavoured modules

From: Scott Owens (Scott.Owens at cl.cam.ac.uk)
Date: Thu Jul 19 12:13:15 EDT 2007

They can!  For the main idea consult the paper Ryan and I wrote for  
GPCE 2005

For more detail look at my dissertation (likely skipping chapters 2  
and 3):

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

-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.

Posted on the users mailing list.