subtype, 5 months ago @Ukko In subtyping systems, the bottom type is a subtype of all types. It is dual to the top type, which spans all possible values in a system. Where such a type exists, it is often represented with the up tack (⊥) symbol. (_|_)
@Ukko
In subtyping systems, the bottom type is a subtype of all types. It is dual to the top type, which spans all possible values in a system. Where such a type exists, it is often represented with the up tack (⊥) symbol.
In subtyping systems, the bottom type is a subtype of all types. It is dual to the top type, which spans all possible values in a system.
Where such a type exists, it is often represented with the up tack (⊥) symbol.
(_|_)