Notes on various topics related to systems/syntax/coding/math.
- Types - Systematization of types and their properties.
- Data - Various data models and operations.
- Design - Various design patterns and principles.
- Code - My coding-related conventions and observations.