Derivation "ATerm" file format
For historical reasons, derivations are stored on-disk in ATerm format.
Derivations are serialised in the following format:
Derive(...)
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
For historical reasons, derivations are stored on-disk in ATerm format.
Derivations are serialised in the following format:
Derive(...)