WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Revision history — Simply typed lambda calculus

2 revisions, newest first.

WhenEditorAnnotationsComment
2026-08-14 07:20 UTCWikiLean Pipeline55wp-update:stage0:2ca8f45ediff
2026-07-03 06:00 UTCWikiLean Pipeline55ai-create:c1178d3e