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