dhall-lang / dhall-lang

Maintainable configuration files

https://dhall-lang.org

dhall-lang/dhall-lang Issues

Thoughts on introducing a minimum amount of type inference in Dhall
Updated 2 months ago
Eta-equivalence in `assert`?
Updated 2 months ago9
Type signatures are too long to be human readable
Updated 3 months ago3
Is there a security hole: malicious sha256-protected cached content?
Updated 3 months ago1
Discussion: Jsonnet, Dhall, and other insights
Updated 6 months ago4
Introduce Bytes/length and Text/length as built-ins?
Closed 6 months ago3
Builtins operators reference: Missing record projection
Closed 6 months ago2
A minimalistic proposal for do-notation
Updated 6 months ago
Link to non existing tweet
Updated 6 months ago
Is this an incorrect test file: `dhall-lang/tests/import/success/unit/ImportRelativeToHomeB.dhall`?
Closed 6 months ago2
ABNF grammar should list "as Bytes" import mode
Closed 7 months ago
ABNF grammar should include a mandatory whitespace after `import-hashed`?
Closed 7 months ago1
Should the ABNF grammar disallow shebangs inside expressions?
Closed 7 months ago1
Improvements and fixes in the standard documentation
Updated 7 months ago3
ABNF grammar should explicitly disallow keywords as identifiers?
Closed 8 months ago2
eta-reducing to merge
Updated 8 months ago4
`with` record update syntax removes other record fields
Closed 8 months ago4
Too many duplicate type annotations?
Closed 10 months ago2
Q. Are you interested in syntax diagrams for Dhall?
Updated 10 months ago6
Reversing order of Merge and Selection?
Closed 10 months ago2
Cannot Decode Expression with extended Builtin Function
Closed a year ago1
Reflection or converting types to values
Closed a year ago2
Time/Date arithmetic
Updated a year ago
Cannot import prelude
Updated a year ago6
502 error accessing https://prelude.dhall-lang.org/List/null.
Closed a year ago8
import of prelude 23.0.0 is broken
Closed a year ago1
Natural -> Hex Builtin
Updated a year ago1
showConstructor is undocumented
Closed a year ago
The `with` keyword is not currently described in the reference documentation
Closed a year ago
Documentation: no mention of date and time types
Closed a year ago1
Add show builitins for date and time types
Closed a year ago3
Non-ascii characters for record labels?
Closed a year ago
Home page dhall interpreter download link?
Updated a year ago5
Case sensitive filename collision makes this repo unusable on case insensitive FS
Closed a year ago
Renaming record fields
Updated a year ago2
Equivalent of Haskell's `$` function?
Updated a year ago1
Version 22.0.0 isn't published to `prelude.dhall-lang.org`
Closed a year ago1
How to achieve variable reference
Updated 2 years ago3
`dhall-lang.org` down?
Closed 2 years ago8
Function usage question to have specific field based on arugment.
Updated 2 years ago
How to escape dollar sign in multi-line string when the dollar sign needs to be in single quotes.
Updated 2 years ago1
Documentation: Use of (JSON) Maps + Type Annotation Parentheses
Updated 2 years ago2
dhall-lang.org certificate expired
Closed 2 years ago5
Website build failed on downloading PCRE
Updated 2 years ago1
Globally accessible variables? Like `env:`?
Updated 2 years ago3
Better ergonomics for referencing fields of the current record
Updated 2 years ago4
Is there a way to suppress text interpolation for strings containing regexes?
Closed 2 years ago13
List/drop causes exponentially sized normal form
Updated 2 years ago5
dhall hash / repl :hash discrepancy
Closed 2 years ago1
`docs.dhall-lang.org` doesn't match `dhall-lang/blob/master/docs`
Closed 2 years ago1