18 lines
142 B
Markdown
18 lines
142 B
Markdown
|
# Types
|
||
|
|
|
||
|
|
## Strict Types
|
||
|
|
|
||
|
|
## Primitive Types
|
||
|
|
|
||
|
|
## Type Constructors
|
||
|
|
|
||
|
|
### Option
|
||
|
|
|
||
|
|
## Recursive Data Types
|
||
|
|
|
||
|
|
### Lists
|
||
|
|
|
||
|
|
### Trees
|
||
|
|
|
||
|
|
## Abstraction
|