Drop links or images here to add them to the editor.

Nu we Churchgetallen hebben gedefineerd is het logisch om ook Churchbooleans te implementeren.

Implementeer Churchbooleans cTrue en cFalse.
Implementeer conversiefuncties cbToHask en haskToCb van Church booleans naar Haskell Booleans en omgekeerd.
Implementeer de booleaanse operaties andC, orC en notC over je Church Booleans.