agda.readthedocs.io
Welcome to Agda’s documentation! — Agda 2.8.0 documentation
Welcome to Agda’s documentation!
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2025-08-24 |
| Last crawled | 2026-06-16 |
| IPv4 | 104.16.254.120 |
| IPv6 | 2606:4700::6810:fe78 |
| Network | AS13335 Cloudflare, Inc. · California |
| CNAME | agda.readthedocs.io |
| Language | en |
| Server | cloudflare |