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