Tauto Book: Guide and Reference

Learn through 24 chapters from values and functions to ownership, effects, dependent types, and proofs. Use the reading guide, language index, and verification guide to learn systematically and look up rules.

1. How to read this book
2. The Tauto Language
3. Your First Program
4. Values, Variables, and Basic Types
5. Functions and Control Flow
6. Structs, Enums, and Pattern Matching
7. Lists, Generics, and Type Classes
8. The Four Ownership Kinds
9. Borrowing and References
10. Understanding Algebraic Effects
11. Resumption Counts and Ownership
12. Setting Execution Limits
13. Projects, Tests, and Tools
14. Your First Proofs
15. Proving Equalities
16. Induction and Recursion
17. Tactics and Proof Steps
18. Dependent Types and Universes
19. Writing Mathematical Proofs
20. Case Study: Correct Sorting
21. Case Study: State Transitions and Invariants
22. Case Study: Building a Typed Mini Language
23. What Is Guaranteed, and What Is Not
24. What to Build Next
25. Appendix A: Syntax Quick Reference
26. Appendix B: Exercise Hints and Answers
27. Appendix C: Glossary and Learning Checklist
28. Appendix D: Language reference index
29. Appendix E: Execution and verification guide