lambda-sub/graphs/dependency.svg at 841e59d481e5f5e41473ce7645172503f7738e7b - lambda-sub - Gitea: Git with a cup of tea

sneeker/lambda-sub

30 Fork 3

Files

T

milner 841e59d481 fix(named): free variable preservation for the full metaterm reduction including RX (M5 metatheory)

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

102 KiB

Raw Blame History

/sneeker/lambda-sub/raw/commit/841e59d481e5f5e41473ce7645172503f7738e7b/graphs/dependency.svg