io7m
|
single-page
|
multi-page
| archive (
zip
,
signature
)
1. Overview
Next
A Crash Course In Algebraic Types
1. Overview
2. Why?
2.1. Overview
2.2. Specification
2.3. Implementation
2.4. Visitor Implementation
3. What?
4. Shapes
4.1. Declarations
4.2. Matching
5. The Type Zoo
5.1. Overview
5.2. Unit
5.3. Boolean
5.4. Enumeration
5.5. Option
5.6. Choice
5.7. Pairs
5.8. Naturals (inductive)
5.9. Lists
5.10. Trees
5.11. Hiding
5.12. Arrays
6. Arithmetic expression interpreter
6.1. Specification
6.2. Implementation
Next
1. Overview