[E-Lang] ERTP-aware MintMaker

[Ben Laurie]

"Jonathan S. Shapiro" wrote:
> 
> "Mark S. Miller" wrote:
> > Those things that C
> > and Java folks call integers aren't.
> 
> Group (i.e. modular) arithmetic is just as formally well-founded as
> integer arithmetic. You'll notice that the C folks *didn't* call it
> "integer"...

Ahem. Speaking as a defrocked mathematician, group arithmetic is _not_
modular arithmetic. It's a strict superset (and includes "ordinary"
arithmetic).

Actually, strictly speaking, putting "arithmetic" and "group" together
doesn't make much sense, since groups only have a single operation.

Cheers,

Ben.

--
http://www.apache-ssl.org/ben.html

"There is no limit to what a man can do or how far he can go if he
doesn't mind who gets the credit." - Robert Woodruff