WingNews logo WingNews
top | item 40146782

(no title)

alreadydone | 1 year ago

I think TTT stands for "tangled type theory".

discuss

order

randallholmes|1 year ago

It does, but I rather like "twisted type theory" :-)

nicklecompte|1 year ago

Oops! Good catch. I'm not an expert - I read "tangled type theory" once and "TTT" about 75 times....