README About Versions Source Modules

Book.Ch7Alt

Relations from Chapter 7 of The Reasoned Schemer (2nd Edition).

It illustrates how you can use bitNando as the starting primitive relation.

zero : Value a

one : Value a

bitNando : Value a -> Value a -> Value a -> Goal a

bitXoro : Value a -> Value a -> Value a -> Goal a

bitAndo : Value a -> Value a -> Value a -> Goal a

Modules