Skip to content

refactor(Locallynameless): abbrev multiApp = List.foldl app - #710

Open
lengyijun wants to merge 4 commits into
leanprover:mainfrom
awesome-lambda-calculus:multiapp
Open

refactor(Locallynameless): abbrev multiApp = List.foldl app#710
lengyijun wants to merge 4 commits into
leanprover:mainfrom
awesome-lambda-calculus:multiapp

Commits

Commits on Sep 2, 2026