Commit 2022-11-29 20:56 25f9f172
View on Github →feat: port Order.WithBot (#777)
SHA: 4674d16c9f219334f07b9220ea5f315838bbb573
Finished port
The main change was introducing WithBot.some
and WithTop.some
and defining the coercion as WithBot.some
instead of Option.some
to avoid elaboration issues with using Option.some
.