mbox series

[bug#50836,0/5] Python logic programming packages

Message ID 20210927021752.30671-1-rprior@protonmail.com
Headers show
Series Python logic programming packages | expand

Message

Ryan Prior Sept. 27, 2021, 2:17 a.m. UTC 
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

Comments

Ludovic Courtès Nov. 15, 2021, 1:42 p.m. UTC | #1 
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’.