LATEX-L Archives

Mailing list for the LaTeX3 project

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

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

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

Print Reply
Subject:
Re: Church booleans
From:
Philipp Stephani <[log in to unmask]>
Reply To:
Mailing list for the LaTeX3 project <[log in to unmask]>
Date:
Wed, 12 Oct 2011 21:40:01 -0400
Content-Type:
text/plain
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