diff options
| author | David A. Madore <david+git@madore.org> | 2023-11-22 14:46:08 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2023-11-22 14:46:08 +0100 |
| commit | 2160cd125bb85478c593d65058cbb5db227c428a (patch) | |
| tree | c21ceb956cb3cc8bd7d144fff7227d525707592d /vc | |
| parent | c418eacb75d4192d26fc20245b765d9bc29f220d (diff) | |
| download | inf110-lfi-2160cd125bb85478c593d65058cbb5db227c428a.tar.gz inf110-lfi-2160cd125bb85478c593d65058cbb5db227c428a.tar.bz2 inf110-lfi-2160cd125bb85478c593d65058cbb5db227c428a.zip | |
Brief summary of Tait's proof of normalization of the STLC.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions