1
Kann der Typ der gültigen Graphen in Dhall codiert werden?
Ich möchte ein Wiki (eine Reihe von Dokumenten mit einem gerichteten Diagramm) in Dhall darstellen. Diese Dokumente werden in HTML gerendert, und ich möchte verhindern, dass jemals fehlerhafte Links generiert werden. Aus meiner Sicht könnte dies erreicht werden, indem entweder ungültige Diagramme (Diagramme mit Links zu nicht vorhandenen Knoten) durch …