This repository is the official language standard and conformance suite for Dhall, a programmable, non-Turing-complete configuration language. It is not a deployable application or library in the traditional sense; instead, it contains the authoritative formal specification: literate Haskell modules defining syntax, alpha-normalization, capture-avoiding substitution, beta-normalization, type inference, and CBOR binary encoding. The complete ABNF grammar and the reference parser provide ground truth for every Dhall implementation, while the versioned Prelude directory constitutes the standard library published at prelude.dhall-lang.org. The repo also includes Nix-based infrastructure for building docs, running CI, and hosting the project's own services, but the core value is the specification and its cross-implementation test corpus.
This repository contains the TC39 proposal for adding enum declarations to ECMAScript. The proposal aims to introduce a syntax and semantics for enums that are compatible with TypeScript's enums, with some differences such as the removal of auto-initializers and reverse mapping. The repository includes the specification written in Ecmarkup, a grammar file extending the ECMAScript grammar, and a build system to generate the HTML specification. The architecture is centered around generating the specification document. The source files (in src/) are processed by gulp and ecmarkup to produce the final HTML specification in the docs/ directory. The build system uses standard gulp tasks for cleaning, building, watching, and serving the documentation. While the specification itself is well-crafted and follows the Ecmarkup conventions, the build system relies on outdated versions of gulp and related plugins, indicating some technical drift. The repository does not contain any broadly reusable software components outside of the context of generating this specific specification.