Edge Rewrite
// 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: a285671929ce4a3e

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