28 Nov
2013
28 Nov
'13
10:15 a.m.
On 11/28/2013 10:30 AM, oleg@okmij.org wrote:
Most of the new development is writing more examples and more and better explanations. Recently, for example, I added committed choice (in Prolog terms, soft-cut) to the Choice effect. I was surprised how easy it was and how nothing had to be changed. I merely added a new handler. So, we get another implementation of LogicT, this time in terms of extensible effects.
This sounds very interesting - is this work available for us to look at anywhere? - ocharles