If memory serves me Aldor made Types be first-class objects. You could create, assign, and pass Type objects to functions.
t _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
