README About Versions Source Modules

Book.Ch9

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

notPastao : Value a -> Goal a

pasta : Value a

onceo : Goal a -> Goal a

bumpo : Value a -> Value a -> Goal a

genAndTestPluso : Value a -> Value a -> Value a -> Goal a

enumeratePluso : Value a -> Value a -> Goal a

enumerateo : (Value a -> Value a -> Value a -> Goal a) -> Value a -> Value a -> Goal a

Modules