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.
weren't you working on making custiom I/O ports suspendable ?
What's with Minikanren now ? 🤔
@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 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 I only usually 15% understand my own toots, since I'm usually asking questions myself :)
@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. 😏
I guess minikanren uses streams under the hood anyway!