DNS Records: idris-lang.org
DNS lookup results for Idris-lang.org — IP address 93.93.128.67, hosted in United States
🌐 DNS Records
| Type | Hostname | IP / Value | Nameserver |
|---|---|---|---|
| A | ns2.mythic-beasts.com. | 93.93.128.67 | ns2.mythic-beasts.com. |
| A | ns1.mythic-beasts.com. | 45.33.127.156 | ns1.mythic-beasts.com. |
ℹ️ About DNS Records
A Records map a domain to an IPv4 address. NS Records specify the authoritative nameservers. MX Records handle email routing. CNAME Records create aliases pointing to other domains.
DNS records for idris-lang.org show where the website is hosted and how its network infrastructure is configured.