Skip to content

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

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

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

simp only [List.foldl_concat]

1c4ed24
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-pr-title
succeeded Oct 17, 2026 in 2s