Scripting - Compiler - Self Referential Types #30
Description
type Foo<T> = Foo<T>This is the last thing needed to have a turing complete type system, AFAIK.
{{ message }}
type Foo<T> = Foo<T>This is the last thing needed to have a turing complete type system, AFAIK.