Skip to content

refactor: .trans => .head/.tail - #797

Open
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:trans
Open

refactor: .trans => .head/.tail#797
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:trans

refactor: .trans => .head/.tail

308e33f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Aug 13, 2026 in 3s