A Kind Welcome!
User Guide
1.
About Kind
2.
Learning Kind Basics
2.1.
Terminal
2.2.
Installation
2.3.
Text Editors
2.4.
Hello Kind!
3.
Kind Basics
3.1.
Types
3.2.
Constructors
3.3.
Functions
3.4.
Type Checker
3.5.
Examples
3.5.1.
Type Examples
3.5.2.
Constructors Examples
3.5.3.
Function Examples
Voyage
4.
A Kind Voyage!
4.1.
Constructors with Value
4.2.
Polymorphic Types
4.3.
Accessing Constructor Values
4.4.
More about Functions
4.5.
Examples
4.5.1.
Maybe and Pair Basics
4.5.2.
Maybe and Pair
4.5.3.
Intermediate Types
4.5.4.
Intermediate Functions
Discovery
5.
A Kind Discovery!
5.1.
Currying
5.2.
Natural Numbers
5.3.
Recursive Algorithms
5.4.
Syntax Sugar
5.5.
Sugar
Contributors
Light
Rust
Coal
Navy
Ayu
Recursive Algorithms
TODO b