Alpha Conversion
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Identifying Beta Redexes 1
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Identifying Beta Redexes 2
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Performing Beta Reductions
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Church boolean slideshow
|
ss |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
If Then Else in Church Encoding
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Church Encoding for OR
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Church numeral slideshow
|
ss |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Church multiplication slideshow
|
ss |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Church Numerals
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Using cons
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Head, Tail, and Cons 1
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Head, Tail, and Cons 2
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Using isEq test
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Recursion on Flat lists 1
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Recursion on Flat Lists 2
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Recursion on Flat Lists 3
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Deep Recursion 1
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Deep Recursion 2
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Deep Recursion 3
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Deep Recursion 4
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Split and Join with accumulators
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Using split to define quick sort
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Accumulator Pattern Practice
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Higher Order Function 1
|
ka |
Short Description...
|
OpenDSA |
,
,
,
,
,
|