logicaltypes.blogspot.com
logicaltypes.blogspot.com is a live English-language website hosted on Google LLC (AS15169) in the United States, served by Google. cl0q first saw it on 2025-08-22 and last crawled it on 2026-07-03. It resolves to 142.251.46.193. Its favicon is fingerprinted by SHA-256, so you can find every other site that serves the same icon.
How the site describes itself:
Typed Logic
Incorporates strong typing over predicate logic programming, and, conversely, incorporates predicate logic programming into strongly typed functional languages. The style of predicate logic is from Prolog; the strongly typed functional language is Haskell.
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2025-08-22 |
| Last crawled | 2026-07-03 |
| IPv4 | 142.251.46.193 |
| IPv6 | 2607:f8b0:4005:812::2001 |
| Network | AS15169 Google LLC · Colorado |
| CNAME | blogspot.l.googleusercontent.com |
| Language | en |
| Server | GSE |