On 11/01/18 12:47, Dan Friedman wrote:
> It is hard to teach old dogs new tricks is my last observation. 
> Perhaps if we had thought of it, we
> would have used it.  Prior to fresh, we were using "exists", which on
> some level is better than fresh,
> but seems too off-putting.  
>
I'm interested, why did you decide on "fresh" as opposed to "exists"?

-Dakota

-- 
You received this message because you are subscribed to the Google Groups 
"minikanren" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/minikanren.
For more options, visit https://groups.google.com/d/optout.

Reply via email to