How to keep your neighbours in order (Q2819693)

From MaRDI portal
scientific article
Language Label Description Also known as
English
How to keep your neighbours in order
scientific article

    Statements

    How to keep your neighbours in order (English)
    0 references
    0 references
    29 September 2016
    0 references
    0 references
    0 references
    0 references
    0 references
    Agda
    0 references
    balancing
    0 references
    dependent types
    0 references
    ordering
    0 references
    sorting
    0 references
    0 references