Skip to content

refactor: Move TypeConstructor.lean into DL/Lambda/

140ea17
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

feat: Add statement-level type declarations #507

refactor: Move TypeConstructor.lean into DL/Lambda/
140ea17
Select commit
Loading
Failed to load commit list.