William, Greg, Will you present, at your convenience, your search algorithm.
Many thx, Avi On Sunday, April 9, 2017 at 2:50:40 PM UTC-4, William Byrd wrote: > > Greg will be talking about optimizations to the Barliman interpreter. > > https://hangouts.google.com/hangouts/_/276jq444mjgtviiyslhksbo6uae > -- 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.
