id
name
related tables
0
processing priority
3
site type
5 (wiki-type site, growing by topic rather than chronologically)
review version
11
html import
20 (imported (full content))
first seen date
2024-02-25 13:20:07
expired found date
-
created at
2024-06-01 23:27:12
updated at
2026-04-02 03:30:02
length
14
crc
41820
tld
86 (io)
is subdomain of id
87719371 (github.io)
previous id
-
replaced with id
-
related id
-
related bits
import finished
imported domain data
imported DNS records
imported http response headers
dns primary id
-
dns alternative id
-
lifecycle status
0 (unclassified, or currently active)
page title
Plfa.github.io - Programming Language Foundations in Agda – Table of Contents
global rank
6,074,551
rank delta
1,110,545
server ip
185.199.108.153
server country
United States
server hostname
cdn-185-199-108-153.github.com
| Host | Type | Value |
|---|---|---|
| plfa.github.io | A | 185.199.108.153 |
| plfa.github.io | A | 185.199.109.153 |
| plfa.github.io | A | 185.199.110.153 |
| plfa.github.io | A | 185.199.111.153 |
| plfa.github.io | CAA | ttl=3600 flags=0 tag=issue value=digicert.com |
| plfa.github.io | CAA | ttl=3600 flags=0 tag=issue value=letsencrypt.org |
| plfa.github.io | CAA | ttl=3600 flags=0 tag=issuewild value=digicert.com |
title
description
image
site name
author
raw text
Programming Language Foundations in Agda – Table of Contents Programming Language Foundations in Agda The Book Announcements Getting Started Citing 中文 Source • Next • Table of Contents This book is an introduction to programming language theory using the proof assistant Agda. Comments on all matters—organisation, material to add, material to remove, parts that require better explanation, good exercises, errors, and typos—are welcome. The book repository is on GitHub . Pull requests are encouraged. There is a private repository of answers to selected questions on github. Please contact one of the authors if you would like to access it. Front matter Dedication Preface Getting Started Part 1: Logical Foundations Naturals : Natural numbers Induction : Proof by Induction Relations : Inductive definition of relations Equality : Equality and equational reasoning Isomorphism : Isomorphism and Embedding Connectives : Conjunction, disjunction, and i...
mp import status
20
mp rejected date
-
mp saved date
-
mp size orig
12155
mp size raw text
3616
mp inner links count
38
mp inner links status
20 (imported)
Connection: keep-alive Server: GitHub.com Content-Type: text/html; charset=utf-8 Strict-Transport-Security: max-age=31556952 Last-Modified: Wed, 25 Nov 2020 13:18:04 GMT ETag: W/"5fbe598c-2e43" Access-Control-Allow-Origin: * Expires: Tue, 01 Dec 2020 22:11:14 GMT Cache-Control: max-age=600 X-Proxy-Cache: MISS X-GitHub-Request-Id: 65F8:3910:25DEAD:2D7681:5FC6BD28 Accept-Ranges: bytes Date: Tue, 01 Dec 2020 22:01:14 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-lga21951-LGA X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1606860074.070221,VS0,VE13 Vary: Accept-Encoding X-Fastly-Request-ID: 121571e3616f5496a5c5cb8aa0746227120eca72 x-encoded-content-encoding: gzip x-encoded-content-length: 3646
redirect type
-
block type
0 (no issues)
detected language
1 (English)
category id
Pozostałe (16)
index version
2025110801
spam phrases
0
text nonlatin
text cyrillic
0
text characters
2856
text words
440
text unique words
255
text lines
122
text sentences
9
text paragraphs
1
text words per sentence
48
rss path
rss status
32 (unknown)
rss found date
2025-01-20 17:16:11
rss size orig
10057
rss items
14
rss spam phrases
0
rss detected language
1 (English)
inbefore feed id
-
inbefore status
0 (new)
sitemap path
sitemap status
1 (priority 1 already searched, no matches found)
sitemap review version
1
sitemap urls count
0
sitemap urls adult
0
sitemap filtered products
0
sitemap filtered videos
0
sitemap found date
-
sitemap process date
2024-07-01 15:35:46
sitemap first import date
-
sitemap last import date
-