Botan bindings devlog

jackdk September 20, 2023, 2:58am 82

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

2 Likes

Polymorphic `if` statement

Topic		Replies	Views
[ANN] botan-bindings & botan-low 0.0.1.0 released Announcements	0	678	February 14, 2024
Botan Cryptography Monthly Status Report #1	1	874	January 9, 2024
Botan Cryptography 3rd Monthly Status Report	0	795	February 7, 2024
[Haskell Cryptography Group] Botan: The First Milestone Announcements	13	1081	March 13, 2024
Botan Cryptography Monthly Status Report #0	6	1481	January 11, 2024