Azul on Nostr: npub1yrlmn…58gpm ha! though actually "do or do not ... " should typecheck and have ...
npub1yrlmnr0y2ch5ycn38j2navyduf5q6tqyd0led3p7xhwmzwcrlsaq558gpm (npub1yrl…8gpm) ha!
though actually "do or do not ... " should typecheck and have type (FreeBoolean x -> FreeBolean x) assuming not, or are appropriately overloaded to work on any boolean algebra (and not just Bool).
the `or do not ...` is in the reader monad.
though actually "do or do not ... " should typecheck and have type (FreeBoolean x -> FreeBolean x) assuming not, or are appropriately overloaded to work on any boolean algebra (and not just Bool).
the `or do not ...` is in the reader monad.