Introduction
1.
Concepts
1.1.
What is Irmin?
1.2.
Key Concepts
2.
Architecture
2.1.
A primer on functors
2.2.
Schemas
2.3.
Runtime Types
2.4.
Backend Storage
2.5.
MirageOS-style Portability
3.
Contents of the Store
3.1.
Mergeable Datatypes
3.2.
JSON at Rest
3.3.
Versioned Data
4.
Synchronisation
4.1.
Pulling remote data
4.2.
Pushing Data
5.
Public Interfaces for Irmin Stores
5.1.
Command-line Interface
5.2.
GraphQL Interface
5.3.
Irmin-server Interface
6.
Mergeable TODO application
Light
Rust
Coal
Navy
Ayu
Real World Irmin
Synchronisation