Adam Rosien - Free Boolean Algebras: Boolean Logic for Free!

You may have heard of Free Monads, but there are other “Free” structures. Another useful type are Free Boolean Algebras, which give us Boolean logic for a set of primitives “for free”. We’ll derive the Free Boolean Algebra and show how you can use it in your programs.

Doors open at 5:30 pm
Talk starts at 6:00 pm