Hallo,
On 20/02/16 21:06, Jeremy Steward wrote:
> Note to the mailing list: apologies for the really long email ahead.
> If this is too long please let me know and I won't do it again. I also
> assume some knowledge of the Reasoned Schemer / miniKanren for my
> response below, so if you do not
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Note to the mailing list: apologies for the really long email ahead.
If this is too long please let me know and I won't do it again. I also
assume some knowledge of the Reasoned Schemer / miniKanren for my
response below, so if you do not know either
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Hallo,
On 16/02/16 21:30, Jeremy Steward wrote:
>
> The latest implementation of miniKanren (found
> https://github.com/miniKanren/miniKanren) is unfortunately both
> very different and incompatible with the language of the same name
> used in The
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Hello all,
Hope you all find yourselves well. I am sending this today to announce the
1.0 release of the latest miniKanren implementation. There's a bit of history
here, so I'll try to summarize. However, if you're interested in seeing the
