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.
@cwebber Just once I'd like to read one of your toots and not have to do a Google Search, find several papers, a video, a book, and another lifetime to better understand it.
😁
@craigmaloney That was a very nice compliment though.... I think?!?!
@cwebber Indeed it was. Just feeling like I need a few more lifetimes to catch up. 😏