Edge Rewrite
// HTMLRewriter · presentation

This page was redesigned at the edge.

Cloudflare fetched the original article and streamed it through HTMLRewriter to apply an entirely new visual system without rebuilding the source page.

// request.cf · coarse context

A page that knows where it met you.

Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.

Country
US
Cloudflare location
CMH
Connection
HTTP/2
Language
Not provided

Ray ID: a273730d5eb2d287

Jump to content

Talk:Sort

Page contents not supported in other languages.
Add topic
From Wikipedia, the free encyclopedia
Latest comment: 17 years ago by 65.183.135.231 in topic Type theory

Type theory

[edit]

Hello, does anyone know if there is an article on "sorts" in the context of type theory? A redirect would be much appreciated. Thanks, 65.183.135.231 (talk) 20:47, 12 March 2009 (UTC)Reply