Skip to content

replace deprecated Optional/fold with Prelude.Optional.fold#4

Open
mschwaig wants to merge 1 commit intodhall-lang:masterfrom
mschwaig:master
Open

replace deprecated Optional/fold with Prelude.Optional.fold#4
mschwaig wants to merge 1 commit intodhall-lang:masterfrom
mschwaig:master

Commits

Commits on Jul 22, 2021