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

sneeker/lambda-sub

30 Fork 3

Files

T

milner 1302c5d661 add(named): a named metaterm calculus with the C equation and the RX rule (M5 named rules)

2026-09-22 22:15:00 +02:00

90 KiB

Raw Blame History

/sneeker/lambda-sub/raw/commit/1302c5d66122cf41ea8ecf19e94b76cad67f57b6/graphs/dependency.svg