Revision history — Simply typed lambda calculus

1 revision, newest first.

When	Editor	Annotations	Comment
2026-07-03 06:00 UTC	WikiLean Pipeline	55	ai-create:c1178d3e