Skip to content

Lifting an Option with to_option returns it unchanged - #56

Merged
nz merged 1 commit into
mainfrom
nz/idempotent-to-option
Aug 12, 2026
Merged

Lifting an Option with to_option returns it unchanged#56
nz merged 1 commit into
mainfrom
nz/idempotent-to-option

Commits

Commits on Aug 12, 2026