Uncategorized

Welcome to Discourse (1)

Config Validations (7)

Describing JSON Schema in Dhall (5)

`with` documentation? (2)

Dhall Format and long lines? (3)

Need help with openapi-to-dhall (3)

Looking for a new maintainer for dhall-golang (2)

Natural division (20)

Add built-in arithmetic operations for Naturals and Integers? (1)

Expense proposal: Add `with` support for modifying `Optional` values (1)

Google Summer of Code projects: TOML and CSV support (5)

Dhall bindings to TOML (GSoC Project) (1)

Dhall bindings to CSV (GSoC Project) (1)

Expense proposal: New keyword to render constructors (3)

Expense proposal: Restore Sublime syntax highlighting support for Dhall (4)

Propagating type errors when using import fallbacks (3)

Requesting feedback on my Dhall project (2)

Implementing Vector in dhall (or, should we add dependent sums?) (5)

Newbie questions (4)

Supporting transitive imports from private repositories? (11)

CONFLANG submission deadline coming up (1)

Announcement: dhall-session-types (1)

Best practices for templating K8 configs (3)

Text manipulation functions ( 2 3 ) (53)

Decode enum using Go (1)

How would LGPL or MPL work in a Dhall config file? (2)

Upcoming Release of Dhall Purescript (1)

Type-checking for uniqueness in Dhall-Lang (7)

Help with `buildDhallPackage` (5)

Nixpkgs support for Dhall (1)