Drop hier links of afbeeldingen om ze aan de editor toe te voegen.

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.