Может ли тип действительных графиков быть закодирован в Dhall?
Я хотел бы представить вики (набор документов, содержащих ориентированный граф) в Dhall. Эти документы будут отображаться в HTML, и я бы хотел, чтобы битые ссылки не создавались. На мой взгляд, это можно сделать либо сделав недопустимые графы (графы со ссылками на несуществующие узлы) через систему...