A better link: https://okmij.org/ftp/kakuritu/rethinking.pdf https://okmij.org/ftp/kakuritu/rethinking.pdf The OCaml library mentioned in the paper appears to

A better link: https://okmij.org/ftp/kakuritu/rethinking.pdf https://okmij.org/ftp/kakuritu/rethinking.pdf The OCaml library mentioned in the paper appears to be linked as individual files from the web page here: https://okmij.org/ftp/kakuritu/Hansei.html https://okmij.org/ftp/kakuritu/Hansei.html ...not sure if it's properly published as a package anywhere. Looks like someone collected it to GitHub here: https://github.com/cararemixed/hansei https://github.com/cararemixed/hansei There's some discussion here that the Hansei code may no longer work under OCaml 5: https://discuss.ocaml.org/t/multi-shot-continuations-gone-forever/9072/6 https://discuss.ocaml.org/t/multi-shot-continuations-gone-fo... Could someone ELI5 for me how this stuff relates to Kanren? It looked superficially similar.