diff options
| author | David A. Madore <david+git@madore.org> | 2023-10-25 13:16:07 +0200 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2023-10-25 13:16:07 +0200 |
| commit | 0bed2e2eef8f4a06a80bf2d0bc9cd0e5fbbc9d35 (patch) | |
| tree | 9d780b6e10a6175aaddfc993f1ffaf548e5542a8 /vc | |
| parent | c08e67930d39631393d09027fa37a8d684a9b38f (diff) | |
| download | inf110-lfi-0bed2e2eef8f4a06a80bf2d0bc9cd0e5fbbc9d35.tar.gz inf110-lfi-0bed2e2eef8f4a06a80bf2d0bc9cd0e5fbbc9d35.tar.bz2 inf110-lfi-0bed2e2eef8f4a06a80bf2d0bc9cd0e5fbbc9d35.zip | |
Outermost-leftmost (normal order) reduction; Church numerals.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions