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