I stumbled on your repo and was absolutely amazed by the finite domain constraints extensions to minikanren. I've been following minikanren many years ago but these new features make it very interesting for practical usage.
Is this repo still evolving? I was trying to make timesfd work and I saw it was commented out and I need a special macro that I don't have to try the code that is commented out: lambdam@
Hi,
I stumbled on your repo and was absolutely amazed by the finite domain constraints extensions to minikanren. I've been following minikanren many years ago but these new features make it very interesting for practical usage.
Is this repo still evolving? I was trying to make
timesfdwork and I saw it was commented out and I need a special macro that I don't have to try the code that is commented out:lambdam@Thanks for helping