loop_invariants_persistent

    Persistent data structure examples with loop-invariant explanations

    algorithms
    persistent-data-structures
    loop-invariants
    Download zip
    Author
    Version
    0.8.1
    License
    Apache-2.0
    Last updated
    10 days ago
    Downloads
    42

    #Persistent Data Structures

    This module contains persistent arrays, stacks, queues, deques, Fenwick trees, segment trees, heaps, tries, maps, sets, ropes, and balanced-tree examples.

    Packages are organized as one persistent structure per directory. Each package contains a README.mbt.md tutorial with examples that are checked by moon test.

    Run from the workspace root:

    moon check moon test moon info moon fmt

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io