Kann ich in Idris einen Isomorphismus zwischen Fin n und (x ** So (x < n)) feststellen? (Ich weiß nicht, eigentlich Idris, so dass diese Typen nicht gültig sein. Die allgemeine Idee ist, dass wir eine
Ich würde gerne NetworkX Graph Objekte als Schlüssel in einem Python dict verwenden. Ich möchte jedoch nicht das Standardverhalten für den Vergleich (d. H. Durch die Adresse des Objekts). Stattdessen