/document-calculus

Accompanying materials for "A Core Calculus for Documents"

Primary LanguageOCamlApache License 2.0Apache-2.0

No issues in this repository yet.