Geben Sie Hierarchie in Agda ein

Ich versuche herauszufinden, wie Typhierarchien in Agda funktionieren.Angenommen, ich definiere einen Settyp X:

Erstellen Sie mehrere abhängige / kaskadierende selectOneMenu-Dropdown-Listen in JSF

Javascript: Zugriff auf Objekt (Array) durch Array-Notationszeichenfolge

SQL Server: So erhalten Sie alle untergeordneten Datensätze mit einer übergeordneten ID in einer selbstreferenzierenden Tabelle

Beschriftungen auf Doppelebene D3 Partition / Sunburst-Layout

Ich versuche, dem hier gezeigten Sunburst / der Partition auf zwei Ebenen Beschriftungen hinzuzufügen.http://bl.ocks.org/mbostock/5944371:Ich habe den ersten...

d3.js Eingezogener Baum mit geraden Gliedern

Mein Code basiert auf demD3.js Beispiel für einen eingerückten Baum.Ich möchte gerade Verknüpfungen anstelle der gekrümmten Verknüpfungen zwischen übergeordn...

HIERARCHY_REQUEST_ERR beim Versuch, Elemente zur XML-Datei in einer for-Schleife hinzuzufügen

Wie der Titel schon sagt, versuche ich, einem XML-Dokument mit einer for-Schleife Elemente hinzuzufügen. ich habe ein

LINQ sortiert eine flache Liste basierend auf der Reihenfolge der Kinder

Ich versuche gerade, eine gute Möglichkeit zu finden, meine Elemente mit LINQ und C # zu sortieren, aber es gelingt mir nicht.Nehmen wir für das Problem an, ...

Verwalten von XML-Hierarchieinformationen (dh Parent-Child-Informationen) in von XmlSerializer generierten Objekten

Abrufen aller untergeordneten Elemente eines übergeordneten Elements mithilfe einer MSSQL-Abfrage

Ich habe folgende Daten in meiner Datenbank: