Book.Ch7

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

zero : Value a

one : Value a

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

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

halfAddero : Value a -> Value a -> Value a -> Value a -> Goal a

fullAddero : Value a -> Value a -> Value a -> Value a -> Value a -> Goal a

buildNum : Int -> Value a

numZero : Value a

numOne : Value a

poso : Value a -> Goal a

greaterThan1o : Value a -> Goal a

addero : Value a -> Value a -> Value a -> Value a -> Goal a

genAddero : Value a -> Value a -> Value a -> Value a -> Goal a

pluso : Value a -> Value a -> Value a -> Goal a

minuso : Value a -> Value a -> Value a -> Goal a

lengtho : Value a -> Value a -> Goal a

Modules