Subject: Re: [bug#43080]

From: Tobias Geerinckx-Rice <[email-masked]>
Date: Mon, 12 Oct 2020 20:13:49 +0200

Joseph,

Thank you for submitting this!

If I don't point this out then someone else will, so...

Joseph Novakovich 写道：
> +(define-public j
> +  (package
> +    (name "j")

...single-letter package names are frowned upon, with ‘r’ being a 
grandfathered exception.

I suggest calling this ‘j-language’ (or ‘j-toolchain’, if that 
word makes sense in J's worldview) instead.

Kind regards,

T G-R