lambda-sub/graphs/dependency.png at cde6e1d197145cf2a4a5893a8d88e9ba3dab96e8 - lambda-sub - Gitea: Git with a cup of tea

sneeker/lambda-sub

0 Fork 0

Files

T

milner cde6e1d197 add(named): free variable preservation for the named metaterm reduction (M5 metatheory)

2026-09-22 23:38:00 +02:00

634 KiB

1728x5176px

Raw History

/sneeker/lambda-sub/raw/commit/cde6e1d197145cf2a4a5893a8d88e9ba3dab96e8/graphs/dependency.png