Examples
Everything
The set of integers
Naturals through SByC
Union types
Sequences
Sets
Tuples
Tuples + SByC
Relations
Dates ?
Abstract Data Types
Undressing
Code:
Finitio
Javascript
Data
Deserves a
Language
Too
1
.
X
1
"Hello World"
X
Validating
Dressing
Undressing
Yes, `"Hello World"` belongs to .
"Hello World"
No such type `Output`
X