summaryrefslogtreecommitdiffstats
path: root/vc
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2023-10-18 12:30:35 +0200
committerDavid A. Madore <david+git@madore.org>2023-10-18 12:30:35 +0200
commitef5fdfe2aacad1a66fe294640f2674f95bc36817 (patch)
tree68e61275b7187e1c2fd44631c0887729e0861f6f /vc
parent3cca962ef3d7dba54756b3ae11556d09cca61839 (diff)
downloadinf110-lfi-ef5fdfe2aacad1a66fe294640f2674f95bc36817.tar.gz
inf110-lfi-ef5fdfe2aacad1a66fe294640f2674f95bc36817.tar.bz2
inf110-lfi-ef5fdfe2aacad1a66fe294640f2674f95bc36817.zip
General recursive functions: numbering, computation trees, universality, normal form.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions