diff options
author | Karl Berry <karl@freefriends.org> | 2013-08-09 22:15:51 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2013-08-09 22:15:51 +0000 |
commit | a7e117da3cb21d1ee63a0e427b8bd5de014b221b (patch) | |
tree | 5db7e617eae1ccfa92695c7e9621f7a33a7aa9b0 /Master/texmf-dist/tex/latex | |
parent | 7d3462c6a518313b846885660ce59c0a1474958d (diff) |
lambda-lists (9aug13), plus remove the lambda.sty copy from skak (CTAN update coming soon)
git-svn-id: svn://tug.org/texlive/trunk@31402 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex')
-rw-r--r-- | Master/texmf-dist/tex/latex/skak/lambda.sty | 114 |
1 files changed, 0 insertions, 114 deletions
diff --git a/Master/texmf-dist/tex/latex/skak/lambda.sty b/Master/texmf-dist/tex/latex/skak/lambda.sty deleted file mode 100644 index 2a5c697e663..00000000000 --- a/Master/texmf-dist/tex/latex/skak/lambda.sty +++ /dev/null @@ -1,114 +0,0 @@ -% Filename: Lambda.sty -% Author: Alan Jeffrey -% Last modified: 12 Feb 1990 -% -% This style is (c) 1990 Alan Jeffrey. Permission is granted to make -% copies, as long as -% -% a) no deletions are made, -% -% b) all additions are clearly marked, in amongst all this header information, -% *and* where the addition has been made, and -% -% c) if you make any additions, then change the name of the file -% -% See the Gnu manifesto for details on why software ought to be free. -% -% If you are worrying about the first three clauses, they're just -% there to make sure tons of different styles with the same name -% don't proliferate. If you want to remove a definition, then just -% comment it out (adding a %, not deleting anything). -% -% Tugboat are given permission to publish any or all of this. -% -% This style provides a pile of lambda-calculus and list-handling -% macros of an incredibly obtuse nature. Read Lambda.tex to find out -% what they all do and how they do it. This \TeX\ code was formally -% verified. -% -% Alan Jeffrey, 25 Jan 1990. - -\def\Identity#1{#1} - -\def\Error% - {\errmessage{Abandon verification all - ye who enter here}} - -\def\First#1#2{#1} -\def\Second#1#2{#2} - -\def\Compose#1#2#3{#1{#2{#3}}} - -\def\Twiddle#1#2#3{#1{#3}{#2}} - -\let\True=\First -\let\False=\Second -\let\Not=\Twiddle - -\def\And#1#2{#1{#2}\False} -\def\Or#1#2{#1\True{#2}} - -\def\Lift#1#2#3#4{#1{#4}{#2}{#3}{#4}} - -\def\Lessthan#1#2{\TeXif{\ifnum#1<#2 }} - -\def\gobblefalse\else\gobbletrue\fi#1#2% - {\fi#1} -\def\gobbletrue\fi#1#2% - {\fi#2} -\def\TeXif#1% - {#1\gobblefalse\else\gobbletrue\fi} - -\def\Nil#1#2{#2} -\def\Cons#1#2#3#4{#3{#1}{#2}} -\def\Stream#1{\Cons{#1}{\Stream{#1}}} -\def\Singleton#1{\Cons{#1}\Nil} - -\def\Head#1{#1\First\Error} -\def\Tail#1{#1\Second\Error} - -\def\Foldl#1#2#3% - {#3{\Foldl@{#1}{#2}}{#2}} -\def\Foldl@#1#2#3#4% - {\Foldl{#1}{#1{#2}{#3}}{#4}} -\def\Foldr#1#2#3% - {#3{\Foldr@{#1}{#2}}{#2}} -\def\Foldr@#1#2#3#4% - {#1{#3}{\Foldr{#1}{#2}{#4}}} - -\def\Cat#1#2{\Foldr\Cons{#2}{#1}} - -\def\Reverse{\Foldl{\Twiddle\Cons}\Nil} - -\def\All#1{\Foldr{\Compose\And{#1}}\True} -\def\Some#1{\Foldr{\Compose\Or{#1}}\False} -\def\Isempty{\All{\First\False}} - -\def\Filter#1% - {\Foldr{\Lift{#1}\Cons\Second}\Nil} - -\def\Map#1{\Foldr{\Compose\Cons{#1}}\Nil} - -\def\Insert#1#2#3% - {#3{\Insert@{#1}{#2}}{\Singleton{#2}}} -\def\Insert@#1#2#3#4% - {#1{#2}{#3}% - {\Cons{#2}{\Cons{#3}{#4}}}% - {\Cons{#3}{\Insert{#1}{#2}{#4}}}} -\def\Insertsort#1{\Foldr{\Insert{#1}}\Nil} - -\def\Unlistize#1{[#1\Unlistize@{}]} -\def\Unlistize@#1{#1\Foldr\Commaize{}} -\def\Commaize#1#2{, #1#2} - -\def\Listize[#1]% - {\Listize@#1,\relax]} -\def\Listize@#1,#2]% - {\TeXif{\ifx\relax#2}% - {\Singleton{#1}}% - {\Cons{#1}{\Listize@#2]}}} - -\def\Show#1[#2]% - {\Unlistize{#1{\Listize[#2]}}} - - |