funny, I've been toying with the idea of a language with only booleans

Wouldn’t that just be logic gates, Mealy and Moore machines written in text form?

	▲	Retr0id 2 days ago \| parent \| next [-]
		Yes. Except, the language should be expressive enough that you can build abstractions and write "normal" code. And, the compiler should be smart enough to emit efficient native code for your target arch (and not doing FPGA-style hardware synthesis)
	▲	zoky 2 days ago \| parent \| prev [-]
		Well, that’s true and false.