# Solving cyclic boolean implications with pure code and laziness

**URL:** https://discourse.haskell.org/t/solving-cyclic-boolean-implications-with-pure-code-and-laziness/4951
**Category:** Show and Tell
**Created:** [August 21, 2022, 4:44pm UTC](https://discourse.haskell.org/t/solving-cyclic-boolean-implications-with-pure-code-and-laziness/4951 "2022-08-21T16:44:58Z")
**Posts on this page:** 1
**Showing post:** 20

<div class="post-metadata">

### Author: ![nomeata](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/nomeata/32/1188_2.png) [@nomeata](https://discourse.haskell.org/u/nomeata)
#### Post date: [September 3, 2022, 2:03pm UTC](https://discourse.haskell.org/t/solving-cyclic-boolean-implications-with-pure-code-and-laziness/4951/20 "2022-09-03T14:03:53Z")

</div>

I have now published [`rec-def`](https://hackage.haskell.org/package/rec-def) on hackage, and wrote a blog post about how to use it:

[https://www.joachim-breitner.de/blog/792-More\_recursive\_definitions](https://www.joachim-breitner.de/blog/792-More_recursive_definitions)

More on the implementation follows later.

---

_[View the full topic](https://discourse.haskell.org/t/solving-cyclic-boolean-implications-with-pure-code-and-laziness/4951)._