|
Best way to prevent explosions of complexity
|
|
1
|
375
|
May 20, 2020
|
|
Dhall leading commas removed by dhall format
|
|
5
|
431
|
May 19, 2020
|
|
RESOLVED: Hydra nix channels seem unhappy
|
|
4
|
504
|
May 18, 2020
|
|
Version 16.0.0 of the standard released 🎉
|
|
0
|
319
|
May 14, 2020
|
|
Weird broken hashes for Prelude/JSON/Type
|
|
8
|
538
|
May 13, 2020
|
|
Template Dhall?
|
|
2
|
500
|
May 10, 2020
|
|
Default function parameters
|
|
1
|
533
|
May 10, 2020
|
|
Execute local files at import?
|
|
4
|
512
|
May 9, 2020
|
|
Best practice for using dhall as configuration format for a simple application
|
|
2
|
1531
|
May 7, 2020
|
|
Compressing cached Dhall expressions
|
|
2
|
387
|
May 1, 2020
|
|
Feedback on a blog post draft
|
|
2
|
329
|
April 30, 2020
|
|
Generating An Unattached String In Dhall
|
|
6
|
477
|
April 28, 2020
|
|
How to write hexadecimal strings?
|
|
6
|
813
|
April 25, 2020
|
|
Dhall EDSL for HTML templates
|
|
2
|
673
|
April 25, 2020
|
|
Sum Type Subsets
|
|
3
|
481
|
April 23, 2020
|
|
Proposal: only canonicalize imports when chaining
|
|
3
|
497
|
April 20, 2020
|
|
Literal / singleton types, or value level restrictions
|
|
9
|
982
|
April 19, 2020
|
|
Sum type value equal predicate
|
|
11
|
1671
|
April 14, 2020
|
|
Question about an import acceptance test
|
|
5
|
401
|
April 14, 2020
|
|
Valid expressions for `using headers`
|
|
4
|
499
|
April 9, 2020
|
|
Import chaining headers
|
|
3
|
578
|
April 9, 2020
|
|
Records with truly optional fields
|
|
25
|
2519
|
April 9, 2020
|
|
Type-checking a record with Kind as a field value
|
|
2
|
380
|
April 7, 2020
|
|
Β-normalization and partially-applied built-ins
|
|
4
|
477
|
April 7, 2020
|
|
Have we solved the problem of generated config yet? (best practices)
|
|
5
|
1219
|
April 5, 2020
|
|
Version 15.0.0 of the standard released 🎉
|
|
0
|
364
|
March 27, 2020
|
|
Normalized form in dhall - limits and roadmap
|
|
3
|
846
|
March 20, 2020
|
|
How would you sell dhall to a python / ansible team?
|
|
6
|
1491
|
March 14, 2020
|
|
Recursive types what is possible?
|
|
1
|
390
|
March 11, 2020
|
|
Expense proposal: Standardize record puns
|
|
6
|
917
|
March 10, 2020
|
