Skip to content

History / Development

Revisions

  • Bold Common observations and mutual recursion

    @losvald losvald committed Apr 15, 2016
    b571bdd

  • Deq subcases: improve readability

    @losvald losvald committed Apr 15, 2016
    b51517d

  • Fix beginning

    @losvald losvald committed Apr 15, 2016
    e490ad4

  • Draw cases for Catenate

    @losvald losvald committed Apr 15, 2016
    a69c113

  • Draw other cases of pop from CatDeq

    @losvald losvald committed Apr 15, 2016
    8c80d6b

  • Explain the most complicated case of Pop on CatDeq

    @losvald losvald committed Apr 15, 2016
    268e359

  • Fix nesting of ** and *

    @losvald losvald committed Apr 14, 2016
    0e8fdb8

  • Improve terminology and common observations.

    @losvald losvald committed Apr 14, 2016
    5f32884

  • Fix grammar describing catenable deque/steque to use [] and {}

    @losvald losvald committed Apr 14, 2016
    a3ee2cf

  • Explain mutually recursive structure and the notation with arrows.

    @losvald losvald committed Apr 13, 2016
    624bfe1

  • Revert uglier arrows representing pairs and make binary trees slant consistently

    @losvald losvald committed Apr 12, 2016
    2624ef0

  • Revert "Change direction of arrows in `CatSteq`, so it consistent with `Deq`" This reverts commit 3903c1fccb263831bfd93fed30c86ad076ded2e3.

    @losvald losvald committed Apr 12, 2016
    01f3217

  • Change direction of arrows in `CatSteq`, so it consistent with `Deq`

    @losvald losvald committed Apr 12, 2016
    3903c1f

  • Improve notation for CatSteq

    @losvald losvald committed Apr 11, 2016
    a950731

  • Write preliminary CatSteq notation

    @losvald losvald committed Apr 11, 2016
    3ac4f02

  • Finish ASCII art for Re-establishing invariant of Deq

    @losvald losvald committed Apr 8, 2016
    42b45aa

  • Eliminate one header level

    @losvald losvald committed Apr 8, 2016
    a047fd7