1. 1. Summary
2. 2. Preface
3. 3. Bugfix Reports
   1. 3.1. bugfix report 1
4. 4. Forum Discussions
   1. 4.1. post 1
5. 5. GitHub Issues
   1. 5.1. issue 1
6. 6. Several cases on Z3's opam bindings
7. 7. Tola Package Manager
8. 8. Homebrew
9. 9. npm
10. 10. opam
11. 11. pip
12. 12. Cargo
13. 13. Language Sandpiper \(\lambda_{sp}\)
    1. 13.1. Primitives from Package Managers
    2. 13.2. Primitives from Language Ecosystems
    3. 13.3. Checking for \(\lambda_{sp}\)
14. 14. Theory of Packages
    1. 14.1. Distributed Key-value Stores
    2. 14.2. Version Logic
15. 15. Theory of Records
    1. 15.1. Computer Artifacts as Records
    2. 15.2. Binding and Resolving
    3. 15.3. Record Soundness
    4. 15.4. Lambda Record \(\lambda_{r}\)
16. 16. Impact in the AI Era
17. Report: Grand Unified Package Theory in Practice
18. Paper: Package Managers a la carte
19. Todo List