README About Versions Source Modules

Book.Ch2

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

caro : Value a -> Value a -> Goal a

cdro : Value a -> Value a -> Goal a

conso : Value a -> Value a -> Value a -> Goal a

consoUsingEquals : Value a -> Value a -> Value a -> Goal a

nullo : Value a -> Goal a

pairo : Value a -> Goal a

singletono : Value a -> Goal a

caroUsingConso : Value a -> Value a -> Goal a

cdroUsingConso : Value a -> Value a -> Goal a

Modules