Hey everyone!
Here is the information and links for last week's hangouts, and for the upcoming hangouts this weekend: https://github.com/webyrd/miniKanren-hangout-summaries/blob/master/README.md Also, I've begin experimenting with guiding the search in the relational interpreter by using different orderings of 'conde' clauses, based on the context of the "parent" expression of the synthesized code. For example, when synthesizing the body of a 'lambda' expression, 'if' is a likely choice. However, when synthesizing an argument to a call to 'cons' or 'car', 'if' is a less likely candidate. https://github.com/webyrd/n-grams-for-synthesis https://github.com/webyrd/n-grams-for-synthesis/blob/master/relational-interpreter/EXPLANATION.md See you this weekend! --Will -- 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.
