Thanks, and Refal reminds me of Beatrice (which I only encountered after https://news.ycombinator.com/item?id=36579681 https://news.ycombinator.com/item?id=3657

Thanks, and Refal reminds me of Beatrice (which I only encountered after https://news.ycombinator.com/item?id=36579681 https://news.ycombinator.com/item?id=36579681 , so sorry for the lack of inclusion)