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
A new future for cryptography in Haskell Announcements	86	8620	July 5, 2023
Botan Cryptography Monthly Status Report #0	6	1486	January 11, 2024
Botan Cryptography Monthly Status Report #1	1	877	January 9, 2024
[Ann] A new Haskell crypto lib: Z-Botan 0.1.1 Announcements	1	703	May 13, 2021
[ANN] botan-bindings & botan-low 0.0.1.0 released Announcements	0	681	February 14, 2024