core-logic

2021-11-17T08:57:43.028800Z

I’m positive there was also a project/experiment implementing minikanren on core.async channels… I’m sure it was something Timothy Baldridge did, but I can’t seem to find it now; maybe a precursor to odin.

2021-11-17T08:59:08.029200Z

ah ha! Here it is: https://github.com/halgari/async-mu-kanren