The video of the lightning talk Binding-Time Analysis for miniKanren is now available. Happy watching and discussing!