User blog:Rgetar/Project of a program

I'm going to create a program "Ordinal explorer". I named this program so, because it should work like File Explorer in Windows, that is it displays a list of ordinals and "[Expand]"'s between them (if corresponding pair of ordinals is expandable, that is this pair is not X and X + 1): "[Expand]"'s are "folders", and ordinals are "files". The displayed list is single expansion of some pair of ordinals (about expansions see my Simple way to create lists of ordinals blog). Used system of fundamental sequences will be from my Veblen-like collapsing function up to Buchholz ordinal blog, section Fundamental sequence.

Also there is "Expand all", and if user clicks it, then double expansion is displayed; if user clicks it again, then triple expansion is displayed, etc. Also at higher expansions (that is double and higher) there is "Collapse all", and if user clicks it, then single expansion is displayed.

Also there is list of formats, and user can change format of ordinals in the displayed list. Also there is second list of formats, and if user choose a format from the second list, then ordinals are displayed in two formats.

If user clicks "[Expand]", then another list is displayed - single expansion of pair of ordinals, between which the "[Expand]" was located. If current list is not "root folder", then "↑" is displayed, and if user clicks it, then single expansion containing "[Expand]", linking to the current list is displayed.

If user clicks ordinal, then page about this ordinal is displayed, including its cardinality, cofinality, its standard form, first elements of its fundamental sequence, all its available formats, its name, if it has it, link to single expansion list with this ordinal, and other data.