--- Begin Message ---
Subject: |
[PATCH 0/5] Python logic programming packages |
Date: |
Mon, 27 Sep 2021 02:17:56 +0000 |
Hi Guix! Here's a series of patches for software I use for logic programming in
Python.
Ryan Prior (5):
gnu: Add python-multipledispatch.
gnu: Add python-logical-unification.
gnu: Add python-cons.
gnu: Add python-etuples.
gnu: Add python-minikanren.
gnu/packages/python-xyz.scm | 139 ++++++++++++++++++++++++++++++++++++
1 file changed, 139 insertions(+)
--
2.33.0
--- End Message ---
--- Begin Message ---
Subject: |
Re: bug#50836: [PATCH 0/5] Python logic programming packages |
Date: |
Mon, 15 Nov 2021 14:42:39 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Hi,
Ryan Prior <rprior@protonmail.com> skribis:
> gnu: Add python-multipledispatch.
> gnu: Add python-logical-unification.
> gnu: Add python-cons.
> gnu: Add python-etuples.
> gnu: Add python-minikanren.
I adjusted input labels as Maxime suggested, addressed minor issues
reported by ‘guix lint’, and committed the whole thing.
I didn’t know miniKanren (and ‘cons’ :-)) had been ported to Python,
sweet!
Thanks,
Ludo’.
--- End Message ---