gheber / kenzo

A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.
https://sur-l-analysis-sit.us/
Other
50 stars 8 forks source link

Add nickname KENZO to package CAT #135

Closed phoe closed 5 years ago

phoe commented 5 years ago

Today on #lisp:

11:01 < feynhat> I am trying to use this library called "kenzo", which I have installed via quicklisp.
11:01 < feynhat> How do I use its member functions?
11:01 < feynhat> I've read a few SO posts, and have tried (use-package :kenzo).
11:02 < feynhat> But I get this: "The name :KENZO does not designate any package."

Myself, it was highly confusing for me as a newcomer to this package that, for a system named KENZO, its main package is named CAT.

Would it be good to add KENZO as a nickname of package CAT to avoid that sort of confusion in the future?

Alizter commented 5 years ago

Kenzo is the name of a cat, but I agree, the documentation could use some work.

On Sun, 24 Mar 2019 at 10:08, Michał Herda notifications@github.com wrote:

Today on #lisp:

11:01 < feynhat> I am trying to use this library called "kenzo", which I have installed via quicklisp. 11:01 < feynhat> How do I use its member functions? 11:01 < feynhat> I've read a few SO posts, and have tried (use-package :kenzo). 11:02 < feynhat> But I get this: "The name :KENZO does not designate any package."

It was highly confusing for me as a newcomer to this package that, for a system named KENZO, its main package is named CAT.

Would it be good to add KENZO as a nickname of package CAT to avoid that sort of confusion in the future?

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/gheber/kenzo/issues/135, or mute the thread https://github.com/notifications/unsubscribe-auth/AINykxpat5t0qLFYQS0mpc-PZiLkZ2rwks5vZ06ngaJpZM4cFarW .

phoe commented 5 years ago

As much as I understand and enjoy the wordplay with the naming, it does confuse people who come from the outside and therefore do not have the knowledge that Kenzo is the name of the cat.

gheber commented 5 years ago

Done in c840448.

phoe commented 5 years ago

Thanks!