|
Best way to prevent explosions of complexity
|
|
1
|
369
|
May 20, 2020
|
|
Dhall leading commas removed by dhall format
|
|
5
|
424
|
May 19, 2020
|
|
RESOLVED: Hydra nix channels seem unhappy
|
|
4
|
502
|
May 18, 2020
|
|
Version 16.0.0 of the standard released 🎉
|
|
0
|
314
|
May 14, 2020
|
|
Weird broken hashes for Prelude/JSON/Type
|
|
8
|
530
|
May 13, 2020
|
|
Template Dhall?
|
|
2
|
498
|
May 10, 2020
|
|
Default function parameters
|
|
1
|
529
|
May 10, 2020
|
|
Execute local files at import?
|
|
4
|
506
|
May 9, 2020
|
|
Best practice for using dhall as configuration format for a simple application
|
|
2
|
1515
|
May 7, 2020
|
|
Compressing cached Dhall expressions
|
|
2
|
380
|
May 1, 2020
|
|
Feedback on a blog post draft
|
|
2
|
326
|
April 30, 2020
|
|
Generating An Unattached String In Dhall
|
|
6
|
470
|
April 28, 2020
|
|
How to write hexadecimal strings?
|
|
6
|
790
|
April 25, 2020
|
|
Dhall EDSL for HTML templates
|
|
2
|
669
|
April 25, 2020
|
|
Sum Type Subsets
|
|
3
|
474
|
April 23, 2020
|
|
Proposal: only canonicalize imports when chaining
|
|
3
|
490
|
April 20, 2020
|
|
Literal / singleton types, or value level restrictions
|
|
9
|
961
|
April 19, 2020
|
|
Sum type value equal predicate
|
|
11
|
1646
|
April 14, 2020
|
|
Question about an import acceptance test
|
|
5
|
393
|
April 14, 2020
|
|
Valid expressions for `using headers`
|
|
4
|
493
|
April 9, 2020
|
|
Import chaining headers
|
|
3
|
572
|
April 9, 2020
|
|
Records with truly optional fields
|
|
25
|
2483
|
April 9, 2020
|
|
Type-checking a record with Kind as a field value
|
|
2
|
369
|
April 7, 2020
|
|
Β-normalization and partially-applied built-ins
|
|
4
|
469
|
April 7, 2020
|
|
Have we solved the problem of generated config yet? (best practices)
|
|
5
|
1209
|
April 5, 2020
|
|
Version 15.0.0 of the standard released 🎉
|
|
0
|
360
|
March 27, 2020
|
|
Normalized form in dhall - limits and roadmap
|
|
3
|
836
|
March 20, 2020
|
|
How would you sell dhall to a python / ansible team?
|
|
6
|
1487
|
March 14, 2020
|
|
Recursive types what is possible?
|
|
1
|
384
|
March 11, 2020
|
|
Expense proposal: Standardize record puns
|
|
6
|
912
|
March 10, 2020
|
