Re:What Is miniKanren?
by jasonhemann on Thursday January 02, 2025 @01:26PM
(#42577148)
That's actually related to how the name came about, IIRC!
[ Parent
| on HN ]
Really?
The word 'kanren' means 'relation' in Japanese, and was proposed by Oleg.
Is there a naming connection to the Kansas thing?
Re:What Is miniKanren?
by jasonhemann on Saturday January 04, 2025 @01:12PM
(#42596515)
IIRC, Dan told me that a million years ago, when they were choosing a name for the Kanren sourceforge repo, they had to use a name with a word that was sufficiently prominent on the internet. Kanren worked because there were enough hits for KanREN.