computation/types.md


1
2
3
4
5
6
7
8
9
10
11

# types! ah, wonderous types!

## Resources

- *Types and Programming Languages* by Benjamin C. Pierce

## algebraic data types

## inductive types
- https://en.wikipedia.org/wiki/Inductive_type