A GraphQL-like query language. Preliminary experiments.
Primary LanguageCoqGNU Affero General Public License v3.0AGPL-3.0