I will implement that in my pension if no one else does it in the next 30 years.

		randomNumber7 65 days ago \| parent \| context \| favorite \| on: Typechecking is undecideable when 'type' is a type... I will implement that in my pension if no one else does it in the next 30 years.