Comment by mrsofty

fair point how about this https://docs.modular.com/mojo/programming-manual.html

AND you missed the second link in the post https://docs.modular.com/mojo/notebooks/BoolMLIR.html