# Botan bindings devlog

**URL:** <https://discourse.haskell.org/t/botan-bindings-devlog/6855>\
**Category:** Uncategorized\
**Created:** [July 5, 2023, 6:17pm UTC](https://discourse.haskell.org/t/botan-bindings-devlog/6855 "2023-07-05T18:17:27Z")\
**Posts on this page:** 1\
**Showing post:** 82

<div class="post-metadata">

**Author:** ![jackdk](https://avatars.discourse-cdn.com/v4/letter/j/9f8e36/32.png) [@jackdk](https://discourse.haskell.org/u/jackdk)\
**Post date:** [September 20, 2023, 2:58am UTC](https://discourse.haskell.org/t/botan-bindings-devlog/6855/82 "2023-09-20T02:58:03Z")

</div>

> [@ApothecaLabs](#):
>
> Boolean typeclass proposal

Is the algebraic class you’re looking for a [Heyting Algebra](https://en.wikipedia.org/wiki/Heyting_algebra), as seen in [PureScript](https://pursuit.purescript.org/packages/purescript-prelude/5.0.1/docs/Data.HeytingAlgebra)?

---

_[View the full topic](https://discourse.haskell.org/t/botan-bindings-devlog/6855)._