dfried00
dfried00
Claire, We have argued for pulling it and take out and demonstrated one way a user could do it, but as hard as it can get, it probably should still...
I think it is a reasonable first attempt, but what will it do with Oleg Numbers and reification in general. ... Dan On Sun, Jan 29, 2012 at 3:13 PM,...
There is a paper called "Typed Logic Variables" that you should look at. If you can't find it, the author's last name is Classen or Claussen. ... Dan On Sun,...