| From: Matthias Felleisen (matthias at ccs.neu.edu) Date: Tue Mar 24 11:41:54 EDT 2009 |
|
On Mar 23, 2009, at 6:15 PM, detmammut at googlemail.com wrote: > Is there a way to specify that a signature conatains a certain syntax > definitions? Yes, this was added a few years ago, when Ryan and Scott revised the unit system. -- Matthias
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}