Book.Ch8

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

timeso : Value a -> Value a -> Value a -> Goal a

equalLo : Value a -> Value a -> Goal a

lessThanLo : Value a -> Value a -> Goal a

lessThanOrEqualLo : Value a -> Value a -> Goal a

lessThano : Value a -> Value a -> Goal a

lessThanOrEqualo : Value a -> Value a -> Goal a

originalDivo : Value a -> Value a -> Value a -> Value a -> Goal a

splito : Value a -> Value a -> Value a -> Value a -> Goal a

divo : Value a -> Value a -> Value a -> Value a -> Goal a

logo : Value a -> Value a -> Value a -> Value a -> Goal a

repeatedMulo : Value a -> Value a -> Value a -> Goal a

expo : Value a -> Value a -> Value a -> Goal a

Modules