Christopher Lemmer Webber is a user on octodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
Hm, would be cool if minikanren would return a stream of answers, then you could drop the first argument and take as many as you need?
(run (q) body) => <stream>
Then you can always stream-take to limit the number or filter the results, etc. No need for the first "how many" argument.
I guess minikanren uses streams under the hood anyway!
@catonano I was watching this video all day on the side that @clacke posted: https://www.youtube.com/watch?v=OyfBQmvr2Hc
Mandatory #contextpatrol link: https://social.heldscal.la/notice/3150570
@cwebber
weren't you working on making custiom I/O ports suspendable ?
What's with Minikanren now ? 🤔