I manage to fail pushing the code earlier. It is fixed now. Happy Hacking
/stefan
On Sat, Feb 13, 2016 at 3:36 PM, Stefan Israelsson Tampe <
stefan.ita...@gmail.com> wrote:
> Hey Guilers
>
> My potluk contibution is tp implement attributed variables for minikanren
> ontop af the source written by
Hey Guilers
My potluk contibution is tp implement attributed variables for minikanren
ontop af the source written by William E. Byrd.
You can find the source at https://gitlab.com/tampe/attributed-minikanren
The source containes examples using attributed variables to implement =/=
symbolo numbe
Hi,
I will take on to introduce attributed variables (see swi prolog) to
minikanren. My hypothesis is that apart from the pure logical
constructs conde fresh and == all defined predicates can be constructed
with the attribute framework with no need to add extra stacks.
The idea is to maintain onl
Ludovic Courtès writes:
> Hello Guilers!
>
> As you may know, it’s that time of the year where we are all invited to
> prepare dishes and to bring them to the Guile birthday potluck. This
> has become a tradition to celebrate the release of Guile 2, which took
> place on Feb. 16th¹, 5 years ago!
Hello Guilers!
As you may know, it’s that time of the year where we are all invited to
prepare dishes and to bring them to the Guile birthday potluck. This
has become a tradition to celebrate the release of Guile 2, which took
place on Feb. 16th¹, 5 years ago!
So the idea is that you hack up som
