Jump to content

Talk:Sort

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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]

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Sort&oldid=1249028100"