User-agent: *
Disallow: /archives/untyped-code/
Disallow: /pipermail/untyped-code/
Allow: /