1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
% Remember to use the lgrind style
\File{ski.k},{17:02},{Sep 28 1992}
\L{\LB{\C{}\1\* SKI combinator reduction \*\1\CE{}}}
\L{\LB{\%\{_\V{KC\_REWRITE}}}
\L{\LB{\K{int}_\V{cplus}();}}
\L{\LB{\%\}}}
\L{\LB{}}
\L{\LB{\V{exp}:}\Tab{8}{\V{S}()}}
\L{\LB{\|}\Tab{8}{\V{K}()}}
\L{\LB{\|}\Tab{8}{\V{I}()}}
\L{\LB{\|}\Tab{8}{\V{ap}(\V{exp}_\V{exp})}}
\L{\LB{\|}\Tab{8}{\V{num}(\K{int})}}
\L{\LB{\|}\Tab{8}{\V{plus}()}}
\L{\LB{;}}
\L{\LB{}}
\L{\LB{\V{ap}(\V{I}(),_\V{x})}\Tab{32}{\-\!\>_\V{x};}}
\L{\LB{\V{ap}(\V{ap}(\V{K}(),_\V{x}),_\V{y})}\Tab{32}{\-\!\>_\V{x};}}
\L{\LB{\V{ap}(\V{ap}(\V{ap}(\V{S}(),_\V{x}),_\V{y}),_\V{z})}\Tab{32}{\-\!\>_\V{ap}(\V{ap}(\V{x},_\V{z}),_\V{ap}(\V{y},_\V{z}));}}
\L{\LB{\V{ap}(\V{ap}(\V{plus}(),_\V{num}(\V{x})),_\V{num}(\V{y}))}\Tab{32}{\-\!\>_\V{num}(\V{cplus}(\V{x},_\V{y}));}}
|
