search

mattiasw2 / teyjus

Automatically exported from code.google.com/p/teyjus
GNU General Public License v3.0
0 stars 0 forks source link

Can we rename abs : int -> int to, say, absv ? #90

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
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?

Original issue reported on code.google.com by dale.a.m...@gmail.com on 7 Nov 2014 at 11:13