Polymorphic `if` statement

[atravers]

Possibly related?

Botan bindings devlog

It’s time for another update! Community proposal submission The first thing is something to celebrate - I have officially submitted the cryptography community project proposal to the Haskell Foundation - this proposal has been a few weeks in the making, so many thanks to all who provided feedback What to work on next Getting the community proposal written and implementing online / incremental processing for ciphers has been my focus for the last few weeks, and now that they’re both do…

Botan bindings devlog

Is the algebraic class you’re looking for a Heyting Algebra, as seen in PureScript?