Issue 90 in teyjus: Can we rename abs : int -> int to, say, absv ?

[tey...@googlecode.com]

Status: Accepted
Owner: dale.a.m...@gmail.com

New issue 90 by dale.a.m...@gmail.com: Can we rename abs : int -> int to,
say, absv ?
https://code.google.com/p/teyjus/issues/detail?id=90

I notice that in Teyjus version 2.0-b2 one of my favorite symbols, namely
abs, is now reserved for the absolute value function.

This is also an issue for anyone reading the Programming with Higher-Order
Logic book, where abs is used about 200 times as a lambda-term constructor.

Can we rename the absolute value function to absv?



--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings