Dhall.Tutorial

Introduction

Types

Imports

Lists

Optional values

Records

Functions

Compiler

Strings

Combine

Let expressions

Unions

Polymorphic functions

Total

Headers

Raw text

Formatting code

Built-in functions

Caveats

Overview

Bool

(||)

(&&)

(==)

(!=)

if/then/else

Natural

(+)

(*)

Natural/even

Natural/odd

Natural/isZero

Natural/fold

Natural/build

Integer

Double

Text

(++)

List

(#)

List/fold

List/build

List/length

List/head

List/last

List/indexed

List/reverse

Optional

Optional/fold

Prelude

Conclusion

Frequently Asked Questions (FAQ)