#

heavy-boolean

Here is 1 public repository matching this topic...

aygp-dr / heavybool-cat-explorer

A HeavyBool implementation exploring categorical foundations of reflective boolean values based on Jim Newton's ELS'25 work

scheme monads guile category-theory boolean-logic hofstadter natural-transformations strange-loops heavy-boolean kleisli-category

Updated May 24, 2025
Scheme

Improve this page

Add a description, image, and links to the heavy-boolean topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the heavy-boolean topic, visit your repo's landing page and select "manage topics."