emacs-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#50836: closed ([PATCH 0/5] Python logic programming packages)


From: GNU bug Tracking System
Subject: bug#50836: closed ([PATCH 0/5] Python logic programming packages)
Date: Mon, 15 Nov 2021 13:43:02 +0000

Your message dated Mon, 15 Nov 2021 14:42:39 +0100
with message-id <87a6i55ycw.fsf@gnu.org>
and subject line Re: bug#50836: [PATCH 0/5] Python logic programming packages
has caused the debbugs.gnu.org bug report #50836,
regarding [PATCH 0/5] Python logic programming packages
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
50836: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=50836
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
--- 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 ---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]