samdphillips2021-1-24 20:55:14Reminds me of https://www.cs.tufts.edu/~nr/cs257/archive/william-byrd/kanren-solving-pearl.pdf zengmor2021-1-25 02:03:23@zengmor has joined the channel hazel2021-1-25 03:14:42what exactly is a functional pearl? I see this on a lot of papers