diff options
| author | David A. Madore <david+git@madore.org> | 2023-11-16 19:52:21 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2023-11-16 19:52:21 +0100 |
| commit | c721a4364dd073bbe2be70dfa74d3013bc3fd495 (patch) | |
| tree | d1558b0c48e9aa8d60ed496e02e87419c4d0f65f /vc | |
| parent | 1c595a43fee368ad94b7d023137c23d0205eac1b (diff) | |
| download | inf110-lfi-c721a4364dd073bbe2be70dfa74d3013bc3fd495.tar.gz inf110-lfi-c721a4364dd073bbe2be70dfa74d3013bc3fd495.tar.bz2 inf110-lfi-c721a4364dd073bbe2be70dfa74d3013bc3fd495.zip | |
Beta-reduction and strong normalization (to be continued).
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions