[opentheory-users] article format wording about constants

[Joe Hurd]

Hi Ramana,

> So why does constTerm take 2 arguments instead of just 1?
> Is it just to allow you to instantiate type variables that might be in
> the constant on the stack?

Since constants are solely determined by name (and do not contain any
type information), you also have to provide a type argument to turn a
constant into a term.

Cheers,

Joe