elm package cache
Packages
Reroutes
About
lamdera.com
dwayne
/
elm-trs2
/
1.0.0
README
About
Versions
Source
Modules
Book.Ch4
Relations from Chapter 4 of The Reasoned Schemer (2nd Edition).
appendo
:
Value
a ->
Value
a ->
Value
a ->
Goal
a
swappendo
:
Value
a ->
Value
a ->
Value
a ->
Goal
a
unwrapo
:
Value
a ->
Value
a ->
Goal
a
README
About
1 version
Source
Modules
Book.Ch1
Book.Ch2
Book.Ch3
Book.Ch4
Book.Ch5
Book.Ch6
Book.Ch7
Book.Ch7Alt
Book.Ch8
Book.Ch9
Logic.Goal
Logic.Stream
Logic.Substitution
Logic.Value
Logic.Variable
Logic