dwayne/elm-trs2/1.0.0

Book.Ch1

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

teacupo : Value a -> Goal a
tea : Value a
cup : Value a