Thanks! And I watched some bits of that talk and got excited about the whole KLambda thing and the ability to use Shen hosted on top of another platform. That s

Thanks! And I watched some bits of that talk and got excited about the whole KLambda thing and the ability to use Shen hosted on top of another platform. That seems very interesting to me, especially since Shen has Prolog inside it, and is something I'm going to look into more.