1 {{The most common kinds of domain configuration}}
3 val web_node : (web_node) = "mire";
9 (dns (dnsA host (ip_of_node (web_node_to_node n)));
17 val web = webAt web_node;
20 \ d : (your_domain) ->
23 dns (dnsNS "ns.hcoop.net");
24 dns (dnsNS "ns2.hcoop.net");
28 catchAllAlias mailbox;
36 val nameserver = \host -> dns (dnsNS host);
37 val dnsIP = \from -> \to -> dns (dnsA from to);
38 val dnsMail = \num -> \host -> dns (dnsMX num host);
39 val dnsAlias = \from -> \to -> dns (dnsCNAME from to);