Skip to content

WIP: implement lazy by lambda in EAst#1140

Draft
yforster wants to merge 3 commits intocoq-8.20from
implement-lazy
Draft

WIP: implement lazy by lambda in EAst#1140
yforster wants to merge 3 commits intocoq-8.20from
implement-lazy

Commits

Commits on Jan 29, 2025

Commits on Jan 30, 2025