Skip to content

replace lamda with lambda - #789

Merged
NSoiffer merged 2 commits into
daisy:mainfrom
moritz-gross:lamda-vs-lambda
Sep 22, 2026
Merged

NSoiffer merged 2 commits into
daisy:mainfrom
moritz-gross:lamda-vs-lambda

Commits

  1. Commits on Sep 22, 2026