From mboxrd@z Thu Jan 1 00:00:00 1970 From: Tobias Geerinckx-Rice Subject: Re: Using =?utf-8?Q?'=CE=BB'?= Date: Sat, 13 Oct 2018 13:55:41 +0200 Message-ID: <87pnwenjr6.fsf@tobias.gr> References: <87pnwerzyz.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:49884) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gBIWG-0008BK-GF for guix-devel@gnu.org; Sat, 13 Oct 2018 07:55:45 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gBIWF-0002z4-Ld for guix-devel@gnu.org; Sat, 13 Oct 2018 07:55:44 -0400 Received: from tobias.gr ([2001:470:7405::1]:49862) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gBIWF-0002yF-8q for guix-devel@gnu.org; Sat, 13 Oct 2018 07:55:43 -0400 In-reply-to: <87pnwerzyz.fsf@gmail.com> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Alex Vong Cc: guix-devel@gnu.org Alex, Alex Vong wrote: > Hello guix, > > Should we allow the use of '=CE=BB' in guix? I think we have=20 > discussed it > before, but I forget why it was rejected. Running 'rgrep' on=20 > source > shows 7 uses of it. I think it is syntactically more pleasant=20 > and it > encourges the use of short functions (at least for me!). One of those '=CE=BB's is probably mine, but it is indeed=20 discouraged. I also forget why. I now use global-prettify-symbols-mode to create my own reality. Kind regards, T G-R