From: Gabriel Dos Reis <gdr@cs...> - 2011-07-12 15:57:13
Ralf Hemmecke <ralf@...> writes:
| Maybe Waldek corrects me, but to my knowledge constants are not possible.
OpenAxiom has been supporting constants for a while now, even in packages.
| 0 and 1 are in some sense special.
| I'd be happy if SPAD could deal with constants in the same way as with
| nullary functions, but would distinguish them.
Get latest updates about Open Source Projects, Conferences and News.