Hey, folks ICFP is finished and we wanted to write some advertising blog entry about our folks travelling to Berlin... but it seems that nobody took any photos from workshop. If you do, can you share something? Ideally photos taken during our talks: `Relational Interpreters for Search Problems`, `Certified Semantics for miniKanren`, and `Constructive Negation for miniKanren`. Other photos are welcome too.
Happy hacking, Dmitrii -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/minikanren/582a4451-f65c-4f38-9cd4-7e5a296e5163%40googlegroups.com.
