LATEX-L Archives

Mailing list for the LaTeX3 project

LATEX-L@LISTSERV.UNI-HEIDELBERG.DE
Options: Use Classic View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender: Mailing list for the LaTeX3 project <[log in to unmask]>
Date: Wed, 12 Oct 2011 21:40:01 -0400
Reply-To: Mailing list for the LaTeX3 project <[log in to unmask]>
Message-ID: <[log in to unmask]>
Subject: Re: Church booleans
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
In-Reply-To: <[log in to unmask]>
Content-Type: text/plain; charset=ISO-8859-1
From: Philipp Stephani <[log in to unmask]>
Parts/Attachments: text/plain (10 lines) 
2011/10/12 Lars Hellström <[log in to unmask]>:
>  True = \lambda xy . x
>  False = \lambda xy . y
>
> These may look strange, but turn out to be two objects that are very
> familiar to us: \use_i:nn and \use_ii:nn respectively (or \@firstoftwo and
> \@secondoftwo, for those who still think in 2e terms (like me)).

This is in fact used by etoolbox's toggles.

ATOM RSS1 RSS2