|
| From: | Stephen Wilson |
| Subject: | Re: [Axiom-developer] A curious algebra failure |
| Date: | 11 Aug 2007 22:55:59 -0400 |
| User-agent: | Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
Stephen Wilson <address@hidden> writes:
> In other words, an anonymous category can capture both a nominal
> assertion (the named categories on the lhs), and a structural
> assertion (the lhs exports). For example:
^^^^^^^^^^^^^^^
Sorry. That should be `the rhs exports'.
Steve
| [Prev in Thread] | Current Thread | [Next in Thread] |