README About Versions Source Modules

Book.Ch3

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

listo : Value a -> Goal a

lolo : Value a -> Goal a

loso : Value a -> Goal a

membero : Value a -> Value a -> Goal a

properMembero : Value a -> Value a -> Goal a

Modules