Dhall Documentation

Welcome to the Dhall documentation!

Note

This website’s sources are located in the dhall-lang project docs directory. Please feel free to contribute by clicking the Edit me on GitHub button, located in the top right corner of each page, or use the issue system. Thanks!

The Dhall documentation is organized into the following four sections:

• Discussions
  • Programmable configuration file
  • Core Language Features
  • Safety Guarantees
  • Dhall In Production
  • Design choices
• Tutorials
  • Getting started: Generate JSON or YAML
  • Language Tour
  • Using map and fold to generate a list of strings
  • dhall-lang.org
  • Learn Dhall in Y minutes
  • dhall-nethack
  • awesome-dhall
• How-to guides
  • How to integrate Dhall
  • Text Editor Configuration
  • Cheatsheet
  • Frequently Asked Questions (FAQ)
  • How to translate recursive code to Dhall
  • Examples
  • How to add a new built-in function
  • How to type-check and normalize incomplete code
  • Migrations
• References
  • Machine-readable specification of the Dhall grammar
  • Full specification of the language semantics
  • Built-in types, functions, and operators
  • Prelude
  • Other cached packages