Changeset 70194

Timestamp:

Mar 19, 2011, 4:08:39 PM (12 years ago)

Author:

cppljevans

Message:

Added bindo.cpp, which contains simplification of
variadic bind from bindv.cpp. Output from bindo.cpp is:
(_1,_2)(1,2)
functor_any(:1:2)
(2,_1)(1)
functor_any(:2:1)
(2,_1)(2)
functor_any(:2:2)
(2,1)()
functor_any(:2:1)
(2,1)(1)
functor_any(:2:1)
(2,1)(1,2)
functor_any(:2:1)

(No files)